id summary reporter owner description type status component version severity resolution keywords cc stage has_patch needs_docs needs_tests needs_better_patch easy ui_ux 9500 Put the Google search that is in the main documentation page on *each* documentation page. Beetle_B nobody "Currently, if I'm deep in the docs, and I decide to search for something unrelated in the docs, I have to navigate to the main Documentation page, and then do the search (via Google). It sure would be convenient if that search field was on each page in the docs. (Hope this is the right place to submit this ticket)." closed *.djangoproject.com 1.0 fixed Unreviewed 0 0 0 0 0 0