diff --git a/doc/source/_static/default.css_t b/doc/source/_static/default.css_t deleted file mode 100644 index 4497c5e6..00000000 --- a/doc/source/_static/default.css_t +++ /dev/null @@ -1,144 +0,0 @@ -/* This CSS stylesheet is no longer used. Edit agogo.css instead. */ - -/** - * Sphinx stylesheet -- default theme - * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - */ - -@import url("basic.css"); - -/* -- page layout ----------------------------------------------------------- */ - -body { - font-family: {{ theme_bodyfont }}; - font-size: 100%; - background-color: {{ theme_footerbgcolor }}; - color: #000; - margin: 0; - padding: 0; -} - -div.document { - background-color: {{ theme_sidebarbgcolor }}; -} - -div.documentwrapper { - float: left; - width: 100%; -} - -div.bodywrapper { - margin: 0 0 0 230px; -} - -div.body { - background-color: {{ theme_bgcolor }}; - color: {{ theme_textcolor }}; - padding: 0 20px 30px 20px; - overflow: auto; -} - -{%- if theme_rightsidebar|tobool %} -div.bodywrapper { - margin: 0 230px 0 0; -} -{%- endif %} - -div.footer { - color: {{ theme_footertextcolor }}; - width: 100%; - padding: 9px 0 9px 0; - text-align: center; - font-size: 75%; -} - -div.footer a { - color: {{ theme_footertextcolor }}; - text-decoration: underline; -} - -div.related { - background-color: {{ theme_relbarbgcolor }}; - line-height: 30px; - color: {{ theme_relbartextcolor }}; -} - -div.related a { - color: {{ theme_relbarlinkcolor }}; -} - -div.sphinxsidebar { - {%- if theme_stickysidebar|tobool %} - top: 30px; - margin: 0; - position: fixed; - overflow: auto; - height: 100%; - {%- endif %} - {%- if theme_rightsidebar|tobool %} - float: right; - {%- if theme_stickysidebar|tobool %} - right: 0; - {%- endif %} - {%- endif %} -} - -{%- if theme_stickysidebar|tobool %} -/* this is nice, but it it leads to hidden headings when jumping - to an anchor */ -/* -div.related { - position: fixed; -} - -div.documentwrapper { - margin-top: 30px; -} -*/ -{%- endif %} - -div.sphinxsidebar h3 { - font-family: {{ theme_headfont }}; - color: {{ theme_sidebartextcolor }}; - font-size: 1.4em; - font-weight: normal; - margin: 0; - padding: 0; -} - -div.sphinxsidebar h3 a { - color: {{ theme_sidebartextcolor }}; -} - -div.sphinxsidebar h4 { - font-family: {{ theme_headfont }}; - color: {{ theme_sidebartextcolor }}; - font-size: 1.3em; - font-weight: normal; - margin: 5px 0 0 0; - padding: 0; -} - -div.sphinxsidebar p { - color: {{ theme_sidebartextcolor }}; -} - -div.sphinxsidebar p.topless { - margin: 5px 10px 10px 10px; -} - -div.sphinxsidebar ul { - margin: 10px; - padding: 0; - color: {{ theme_sidebartextcolor }}; -} - -div.sphinxsidebar a { - color: {{ theme_sidebarlinkcolor }}; -} - -div.sphinxsidebar input { - border: 1px solid {{ theme_sidebarlinkcolor }}; - font-family: sans-serif; - font-size: 1em; -} diff --git a/doc/source/themes/agogo/static/docversions.js b/doc/source/_static/docversions.js similarity index 81% rename from doc/source/themes/agogo/static/docversions.js rename to doc/source/_static/docversions.js index 30f17f40..0b98d7dc 100644 --- a/doc/source/themes/agogo/static/docversions.js +++ b/doc/source/_static/docversions.js @@ -1,7 +1,5 @@ function insert_version_links() { - var labels = ['dev', '0.7.0', '0.6', '0.5', '0.4', '0.3']; - - document.write('
- {% endif %} - - -{%- endblock %} +
+
+
+ + {% trans %}Please activate JavaScript to enable the search + functionality.{% endtrans %} +
++ {% trans %}From here you can search these documents. Enter your search + words into the box in the navigation bar and press "Enter". Note that the + search function will automatically search for all of the words. Pages + containing fewer words won't appear in the result list.{% endtrans %} +
+ {% if search_performed %} + {% if not search_results %} +{{ _('Your search did not match any results.') }}
+ {% endif %} + {% endif %} +