ID: 30320 Updated by: [EMAIL PROTECTED] Reported By: [EMAIL PROTECTED] -Status: Open +Status: Closed Bug Type: Livedocs problem PHP Version: Irrelevant Assigned To: ilia New Comment:
This bug has been fixed in CVS. Snapshots of the sources are packaged every three hours; this change will be in the next snapshot. You can grab the snapshot at http://snaps.php.net/. Thank you for the report, and for helping us make PHP better. Previous Comments: ------------------------------------------------------------------------ [2004-10-04 14:00:12] [EMAIL PROTECTED] Here's the patch formatted correctly: http://www.powertrip.co.za/livedocs/viewpatch.php?patch=11 ------------------------------------------------------------------------ [2004-10-04 13:51:11] [EMAIL PROTECTED] Description: ------------ This patch properly formats "note" titles Actual result: -------------- --- repository\livedocs\themes\default\livedoc.1.6.css Sun Aug 08 18:50:24 2004 +++ repository\livedocs\themes\default\livedoc.css Sun Sep 12 16:46:28 2004 @@ -76,6 +76,12 @@ margin: 0.6em; } +div.note div.title { + text-decoration: underline; + padding: 0.4em 0 0 0.4em; +} + + div.warning { background-color: #ffeeee; border: solid 2px #ff7777; ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=30320&edit=1
