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

[Stephen J. Turnbull]

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.