Bug->Req #70191 [Ver]: Offline documentation misses stylesheet

Edit report at https://bugs.php.net/bug.php?id=70191&edit=1 ID: 70191 Updated by: cmb@php.net Reported by: wk at xn--wolfgang-khler-4pb dot de Summary: Offline documentation misses stylesheet Status: Verified -Type: Bug +Type: Feature/Change Request Package: Doc Build problem Operating System: irrelevant PHP Version: Irrelevant Block user comment: N Private report: N New Comment: Well, on further consideration this is not necessarily a bug, but rather a feature request. Previous Comments: ------------------------------------------------------------------------ [2015-08-04 09:58:16] wk at xn--wolfgang-khler-4pb dot de 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 this bug report at https://bugs.php.net/bug.php?id=70191&edit=1