[Python-Dev] Playing with a new theme for the docs, iteration 2 (original) (raw)
Stefan Krah stefan at bytereef.org
Sun Mar 25 11:04:22 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 ]
Andrew Svetlov <andrew.svetlov at gmail.com> wrote:
I like to always see "Quick search" widget without scrolling page to top. Is it possible?
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.
Stefan Krah
- 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 ]