>> 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 >
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.