Search box at top of the page on doc site
|Reported by:||Phoebe Bright||Owned by:||Jacob|
|Has patch:||no||Needs documentation:||no|
|Needs tests:||no||Patch needs improvement:||no|
It's a small thing, but as a new django user I spend an awful lot of time searching the documentation for stuff. The search bar is after the contents on the right so I have to scroll down a variable amount of screen to use it. Any chance of having at the top somewhere?