[Python-Dev] Playing with a new theme for the docs, iteration 2 (original) (raw)
Andrew Svetlov andrew.svetlov at gmail.com
Sun Mar 25 11:10:21 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 Sun, Mar 25, 2012 at 12:04 PM, Stefan Krah <stefan at bytereef.org> wrote:
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 No. You are right, it's distracting. Maybe narrow persistent line with searchbox on the top will be better. But just jump to searchbox by shortcut is good enough for me also. Please don't do this, I find scrolling exceptionally distracting in the presence of fixed elements.
Stefan Krah
Python-Dev mailing list Python-Dev at python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/andrew.svetlov%40gmail.com
-- Thanks, Andrew Svetlov
- 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 ]