On Sun, Mar 25, 2012 at 11:04 AM, Stefan Krah <[email protected]> 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. _______________________________________________ Python-Dev mailing list [email protected] http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
