Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2012-March/118066.html below:

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

• 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 ]

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4