[Pydotorg-redesign] how to search the site

[Simon Willison]

Roy Smith wrote:

> Whatever search engine we end up using, we should have a search box on 
> every single page (in some standard place as part of the navigation 
> tools).  It's so much more convenient than having to navigate you way to 
> some special search page.

I agree completely. A single, simple "Search" box on each page should be 
an essential part of the navigation. Any advanced options (such as 
"search only in documentation") should be made available only on a 
dedicated search page.

Cheers,

Simon