X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=doc%2Fbindings%2Fpython%2Fsource%2F_themes%2Fsphinx_rtd_theme%2Fversions.html;fp=doc%2Fbindings%2Fpython%2Fsource%2F_themes%2Fsphinx_rtd_theme%2Fversions.html;h=8b3eb79d2592e8aae24d868c7b2832a855bbc96e;hb=4f5f37d9512a7fa57b5f98a973b009e47e9f4963;hp=0000000000000000000000000000000000000000;hpb=b3df7a8f0a8bc192cb7f35c7bc3434b216d874c8;p=babeltrace.git

diff --git a/doc/bindings/python/source/_themes/sphinx_rtd_theme/versions.html b/doc/bindings/python/source/_themes/sphinx_rtd_theme/versions.html
new file mode 100644
index 00000000..8b3eb79d
--- /dev/null
+++ b/doc/bindings/python/source/_themes/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 class="fa fa-book"> Read the Docs</span>
+      v: {{ current_version }}
+      <span class="fa fa-caret-down"></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 %}
+