diff options
author | Derek Jones <derek.jones@ellislab.com> | 2012-08-21 03:10:39 +0200 |
---|---|---|
committer | Derek Jones <derek.jones@ellislab.com> | 2012-08-21 03:10:39 +0200 |
commit | 329834e354d75ed239c83f410adacdd294ae2f64 (patch) | |
tree | d95e3c652d16c91861744eee85498352246cfed9 /user_guide_src/source/_themes/eldocs/layout.html | |
parent | 87687e10c582b085afdc649ec810a2d2cf34e98b (diff) |
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
Diffstat (limited to 'user_guide_src/source/_themes/eldocs/layout.html')
-rw-r--r-- | user_guide_src/source/_themes/eldocs/layout.html | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/user_guide_src/source/_themes/eldocs/layout.html b/user_guide_src/source/_themes/eldocs/layout.html index 9be3b853b..51d61b849 100644 --- a/user_guide_src/source/_themes/eldocs/layout.html +++ b/user_guide_src/source/_themes/eldocs/layout.html @@ -91,13 +91,7 @@ </div><!-- /#brand --> <div id="header"> - <form method="get" action="http://www.google.com/search"> - <fieldset> - <input type="text" name="q" id="q" value=""> - <input type="hidden" name="as_sitesearch" id="as_sitesearch" value="{{ project_domain }}/user_guide/" /> - <input class="grades" type="submit" value="search"> - </fieldset> - </form> + {%- include "searchbox.html" %} <ul> {%- block rootrellink %} <li><a href="{{ pathto(master_doc) }}">User Guide Home</a>{%- if pagename != 'index' %} {{ reldelim1 }}{%- endif %}</li> @@ -113,8 +107,10 @@ </ul> </div><!-- /#header --> - <div class="section" id="content"> + <div class="section body" id="content"> + {%- block body %} {{ body }} + {%- endblock %} </div> {%- endblock %} @@ -129,4 +125,4 @@ </div><!-- /#footer --> {%- endblock %} </body> -</html> +</html>
\ No newline at end of file |