Bug #66517 [NEW]: Too little margin between "Report a bug" link and initial warning <div>

From: mj Operating system: OS X PHP version: Irrelevant Package: Website problem Bug Type: Bug Bug description:Too little margin between "Report a bug" link and initial warning <div> Description: ------------ On http://docs.php.net/manual/en/migration56.changes.php the "Report a bug" link at the top of the main content overlaps with the "Warning" div that comes first in the sect1. (Chrome, OS X) Adding a top margin of 1em instead of 0.75em for div.warning fixes this. I've put up a screenshot here: http://divbyzero.net/~martin/php.net-missing-margin-20140120.png Expected result: ---------------- No overlapping. Actual result: -------------- Overlapping. -- Edit bug report at https://bugs.php.net/bug.php?id=66517&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=66517&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=66517&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=66517&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=66517&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=66517&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=66517&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=66517&r=needscript Try newer version: https://bugs.php.net/fix.php?id=66517&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=66517&r=support Expected behavior: https://bugs.php.net/fix.php?id=66517&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=66517&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=66517&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=66517&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=66517&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=66517&r=dst IIS Stability: https://bugs.php.net/fix.php?id=66517&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=66517&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=66517&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=66517&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=66517&r=mysqlcfg