#48264 [Ver->Csd]: No style for HTML version of php docs
| From: | moacir@php.net | Date: | Thu, 17 Sep 2009 18:36:09 +0000 |
| Subject: | #48264 [Ver->Csd]: No style for HTML version of php docs | ||
| References: | 1 | Groups: | php.doc.bugs |
| Request: | Send a blank email to doc-bugs+get-2784@lists.php.net to get a copy of this message | ||
ID: 48264
Updated by: moacir@php.net
Reported By: rickywalt1 at msn dot com
-Status: Verified
+Status: Closed
Bug Type: Doc Build problem
PHP Version: Irrelevant
New Comment:
fixed with the --css option
Previous Comments:
------------------------------------------------------------------------
[2009-09-17 14:00:22] svn@php.net
Automatic comment from SVN on behalf of moacir
Revision: http://svn.php.net/viewvc/?view=revision&revision=288407
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-05-13 18:59:10] bjori@php.net
Reclassified as PhD issue.
------------------------------------------------------------------------
[2009-05-13 18:37:37] rickywalt1 at msn dot com
Description:
------------
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">
------------------------------------------------------------------------
--
Edit this bug report at http://bugs.php.net/?id=48264&edit=1