Re: Fixing the layout/style for man pages
| From: | Adam Harvey | Date: | Sat, 29 Dec 2012 05:45:03 +0000 |
| Subject: | Re: Fixing the layout/style for man pages | ||
| References: | 1 2 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969384187@lists.php.net to get a copy of this message | ||
On 29 December 2012 07:04, Levi Morrison <morrison.levi@gmail.com> wrote:
> 1. The documentation pages need to be full-page width. They are
> far too narrow in their current state. They also need more gutter
> room.
Weirdly, I think they're more readable in their current state than
full width. I seem to be outnumbered here, though. :)
> 2. Kill the Quick TOC in the documentation. This frees up a lot of
> space, but means we need to find a new home for the language switcher
> and how to report an error.
We have a pull request on GitHub to deal with this:
https://github.com/php/web-php/pull/8. I'm
not crazy about the styling
of it at the moment, but the functionality in terms of switching to a
sticky TOC box might be worth pursuing.
Here's how it looks when you haven't scrolled: http://d.pr/i/gTlC
And how it looks when you have: http://d.pr/i/K8se
Adam