[Python-Dev] Playing with a new theme for the docs, iteration 2 (original) (raw)
Georg Brandl g.brandl at gmx.net
Sun Mar 25 18:37:12 CEST 2012
- Previous message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Next message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On 25.03.2012 13:09, Stephen J. Turnbull wrote:
On Sun, Mar 25, 2012 at 11:04 AM, Stefan Krah <stefan at bytereef.org> wrote:
Do you mean a fixed search box like this one?
http://coq.inria.fr/documentation Please don't do this, I find scrolling exceptionally distracting in the presence of fixed elements. Does it bother you when the header is fixed and contains the search box? I prefer that arrangement, anyway.
I think this idea has some merit. I'd prefer it to be tried out and implemented in a second step though (maybe by someone else, even? ;)
Georg
- Previous message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Next message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]