|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #48264 No style for HTML version of php docs
Submitted: 2009-05-13 18:37 UTC Modified: 2009-09-17 18:36 UTC
From: rickywalt1 at msn dot com Assigned:
Status: Closed Package: Doc Build problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
 [2009-05-13 18:37 UTC] rickywalt1 at msn dot com
I regularly download the (many files) HTML version of the PHP documentation for use on my own server.  I would like to apply a simple style sheet to all 8000 some odd pages.  The only way to do this at present is to add a Greasemonkey script to Firefox.

Adding a stylesheet link in the head of the page (template?) would make this a lot easier.  Something like this maybe:

<link rel="stylesheet" type="text/css" href="php_user.css">


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2009-05-13 18:59 UTC]
Reclassified as PhD issue.
 [2009-09-17 14:00 UTC]
Automatic comment from SVN on behalf of moacir
Log: Adding the --css option
- Fixing bugs #47406 and #48264
- For chunked formats the css files will be copied in outputdir/format/styles/ and linked with <link>
- For non chunked formats the css will be written with <style>
 [2009-09-17 18:36 UTC]
fixed with the --css option
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Fri Jul 19 04:01:28 2024 UTC