tree d95e3c652d16c91861744eee85498352246cfed9
parent 87687e10c582b085afdc649ec810a2d2cf34e98b
author Derek Jones <derek.jones@ellislab.com> 1345511439 -0700
committer Derek Jones <derek.jones@ellislab.com> 1345511439 -0700

Switching to Sphinx's built in JavaScript search

- disabled rST source copying, the contextual results for the search don't render, so they look goofy
- added .highlighted class to CSS for highlighting search terms
- replaced Google search form with native search form (and separated into its own theme file)
- added body class to #content div for JS highlighter to hook onto