[Python-Dev] Playing with a new theme for the docs, iteration 2

[Stefan Krah]

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