Re: Fixing the layout/style for man pages
| From: | Levi Morrison | Date: | Sat, 29 Dec 2012 20:24:30 +0000 |
| Subject: | Re: Fixing the layout/style for man pages | ||
| References: | 1 2 3 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969384188@lists.php.net to get a copy of this message | ||
>> 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: Á=g?<]¡ @î0ŒÝí
> http://d.pr/i/gTlC
>
> And how it looks when you have: http://d.pr/i/K8se
>
I'm not fond of it but I do think it is an improvement to the current
version. I'd also worry about how well it holds up on various browsers
and platforms.