Doc #74718 [Opn->Fbk]: Offline documentation lacks CSS

Edit report at https://bugs.php.net/bug.php?id=74718&edit=1 ID: 74718 Updated by: requinix@php.net Reported by: new dot new dot none at gmail dot com Summary: Offline documentation lacks CSS -Status: Open +Status: Feedback Type: Documentation Problem Package: Documentation problem Operating System: Debain stretch/sid PHP Version: Irrelevant Block user comment: N Private report: N New Comment: Both HTML formats look fine to me on Windows. Can you upload a screenshot somewhere? Or are you saying that you want essentially a mirror of the online site? Previous Comments: ------------------------------------------------------------------------ [2017-06-08 20:50:23] new dot new dot none at gmail dot com Description: ------------ I was writing some PHP code until I decided to consult the offline doc on my PC at /usr/share/doc/php-doc to spare some of my internet connection. As soon as I opened the index, however, I lost enthusiasm in the idea of reading the offline doc. The page, indeed, lacks any kind of style facilitating the reading or formatting the information displayed. Even though it is certainly still readable, I would much prefer to include a style to it to make every page of the doc appear like the online version. I tried downloading some CSS stylesheets from the online doc, but obviously the HTML files don't include any reference to CSS files. I also downloaded the offline doc at http://php.net/download-docs.php, but as it was to be expected, when I opened it, the index.html page looked exactly the same as the one located at /usr/share/doc/php-doc, and so I deleted the extracted archive. Is adding some CSS to the offline documentation something that can be done? I am not an expert Web developer, and since I'm writing this "bug" report hastily I ignore any technical obstacle which makes difficult linking some online-like CSS stylesheet to the HTML files (although I doubt there are such problems, honestly). This may not exactly be a documentation bug, but I knew of no other place where to submit this request (apart sending an e-mail) and so I chose this section of this site. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=74718&edit=1