From 25be142723568421b3c22a058ea2490bf87950fb Mon Sep 17 00:00:00 2001 From: David Wosnitza Date: Fri, 12 Dec 2014 15:37:28 +0100 Subject: changed theme to sphinx_rtd_theme Signed-off-by: David Wosnitza --- .../source/_themes/sphinx_rtd_theme/versions.html | 37 ++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/versions.html (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/versions.html') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/versions.html b/user_guide_src/source/_themes/sphinx_rtd_theme/versions.html new file mode 100644 index 000000000..8b3eb79d2 --- /dev/null +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/versions.html @@ -0,0 +1,37 @@ +{% if READTHEDOCS %} +{# Add rst-badge after rst-versions for small badge style. #} +
+ + Read the Docs + v: {{ current_version }} + + +
+
+
Versions
+ {% for slug, url in versions %} +
{{ slug }}
+ {% endfor %} +
+
+
Downloads
+ {% for type, url in downloads %} +
{{ type }}
+ {% endfor %} +
+
+
On Read the Docs
+
+ Project Home +
+
+ Builds +
+
+
+ Free document hosting provided by Read the Docs. + +
+
+{% endif %} + -- cgit v1.2.3-24-g4f1b