diff --git a/docs/conf.py b/docs/conf.py index a978fffa3..f4a053b92 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -286,11 +286,9 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False - -import sphinx_rtd_theme - -html_theme = "sphinx_rtd_theme" -html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +# custom theme based on sphinx_rtd_theme +html_theme = "sphinx_rtd_theme_chm_friendly" +html_theme_path = ["."] html_context = { 'show_source': False, diff --git a/docs/sphinx_rtd_theme_chm_friendly/breadcrumbs.html b/docs/sphinx_rtd_theme_chm_friendly/breadcrumbs.html new file mode 100644 index 000000000..7c2ce5c8f --- /dev/null +++ b/docs/sphinx_rtd_theme_chm_friendly/breadcrumbs.html @@ -0,0 +1,31 @@ +{# Support for Sphinx 1.3+ page_source_suffix, but don't break old builds. #} + +{% if page_source_suffix %} +{% set suffix = page_source_suffix %} +{% else %} +{% set suffix = source_suffix %} +{% endif %} + +
diff --git a/docs/sphinx_rtd_theme_chm_friendly/footer.html b/docs/sphinx_rtd_theme_chm_friendly/footer.html new file mode 100644 index 000000000..f4396eecb --- /dev/null +++ b/docs/sphinx_rtd_theme_chm_friendly/footer.html @@ -0,0 +1,52 @@ + + diff --git a/docs/sphinx_rtd_theme_chm_friendly/layout.html b/docs/sphinx_rtd_theme_chm_friendly/layout.html new file mode 100644 index 000000000..288e1db77 --- /dev/null +++ b/docs/sphinx_rtd_theme_chm_friendly/layout.html @@ -0,0 +1,211 @@ +{# TEMPLATE VAR SETTINGS #} +{%- set url_root = pathto('', 1) %} +{%- if url_root == '#' %}{% set url_root = '' %}{% endif %} +{%- if not embedded and docstitle %} + {%- set titlesuffix = " — "|safe + docstitle|e %} +{%- else %} + {%- set titlesuffix = "" %} +{%- endif %} + + + + + + + {{ metatags }} + + {% block htmltitle %} +{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.') }}
+ {% endif %} + {% endif %} +{{ context|e }}
+