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 ]

---

More information about the Python-Dev mailing list