summaryrefslogtreecommitdiff
path: root/doc/source/theme/sphinx_rtd_theme/versions.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/source/theme/sphinx_rtd_theme/versions.html')
-rw-r--r--doc/source/theme/sphinx_rtd_theme/versions.html37
1 files changed, 37 insertions, 0 deletions
diff --git a/doc/source/theme/sphinx_rtd_theme/versions.html b/doc/source/theme/sphinx_rtd_theme/versions.html
new file mode 100644
index 00000000..83fab64e
--- /dev/null
+++ b/doc/source/theme/sphinx_rtd_theme/versions.html
@@ -0,0 +1,37 @@
+{% if READTHEDOCS %}
+{# Add rst-badge after rst-versions for small badge style. #}
+ <div class="rst-versions" data-toggle="rst-versions" role="note" aria-label="versions">
+ <span class="rst-current-version" data-toggle="rst-current-version">
+ <span>📚 Read the Docs</span>
+ v: {{ current_version }}
+ <span>⏷</span>
+ </span>
+ <div class="rst-other-versions">
+ <dl>
+ <dt>Versions</dt>
+ {% for slug, url in versions %}
+ <dd><a href="{{ url }}">{{ slug }}</a></dd>
+ {% endfor %}
+ </dl>
+ <dl>
+ <dt>Downloads</dt>
+ {% for type, url in downloads %}
+ <dd><a href="{{ url }}">{{ type }}</a></dd>
+ {% endfor %}
+ </dl>
+ <dl>
+ <dt>On Read the Docs</dt>
+ <dd>
+ <a href="//{{ PRODUCTION_DOMAIN }}/projects/{{ slug }}/?fromdocs={{ slug }}">Project Home</a>
+ </dd>
+ <dd>
+ <a href="//{{ PRODUCTION_DOMAIN }}/builds/{{ slug }}/?fromdocs={{ slug }}">Builds</a>
+ </dd>
+ </dl>
+ <hr/>
+ Free document hosting provided by <a href="http://www.readthedocs.org">Read the Docs</a>.
+
+ </div>
+ </div>
+{% endif %}
+