Further additions to the theme

docs/source/_templates/localtoc.html

@@ -0,0 +1,13 @@
+{#
+    basic/localtoc.html
+    ~~~~~~~~~~~~~~~~~~~
+
+    Sphinx sidebar template: local table of contents.
+
+    :copyright: Copyright 2007-2020 by the Sphinx team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+#}
+{%- if display_toc %}
+<p><h3><a href="{{ pathto(master_doc) }}">{{ _('Table of Contents') }}</a></h3>
+  {{ toc }}
+{%- endif %}

docs/source/_templates/sourcelink.html

@@ -0,0 +1,13 @@
+{#
+Page source link
+
+#}
+{%- if show_source and has_source and sourcename %}
+  <div role="note" aria-label="source link">
+    <!--h3>{{ _('This Page') }}</h3-->
+    <ul class="this-page-menu">
+      <li><a href="{{ pathto('_sources/' + sourcename, true)|e }}"
+            rel="nofollow">{{ _('Show Page Source') }}</a></li>
+    </ul>
+   </div>
+{%- endif %}