Doc #70191 [NEW]: Offline documentation misses stylesheet

From: wk at xn--wolfgang-khler-4pb dot de Operating system: irrelevant PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:Offline documentation misses stylesheet Description: ------------ I downloaded the PHP documentation today and yesterday (English, German, HTML one file, HTML many files). In the html files, certain class names are referenced. However, no stylesheet is referenced in the <header>-section. There should be a stylesheet referenced in the header-section, even if this stylesheet is empty. This allows to format and customize the layout of the manual easily. -- Edit bug report at https://bugs.php.net/bug.php?id=70191&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=70191&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=70191&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=70191&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=70191&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=70191&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=70191&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=70191&r=needscript Try newer version: https://bugs.php.net/fix.php?id=70191&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=70191&r=support Expected behavior: https://bugs.php.net/fix.php?id=70191&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=70191&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=70191&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=70191&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=70191&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=70191&r=dst IIS Stability: https://bugs.php.net/fix.php?id=70191&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=70191&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=70191&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=70191&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=70191&r=mysqlcfg