Docs: add link from docsite to api docs

docs/source/_templates/layout.html

@@ -0,0 +1,6 @@
+{% extends "!layout.html" %}
+{% block sidebartitle %}
+{{ super() }}
+<br>
+<a href="api/index.html">API reference</a>
+{% endblock %}

docs/source/conf.py

@@ -115,6 +115,8 @@ html_theme = "sphinx_rtd_theme"
 
 html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
+html_add_permalinks = True
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
@@ -159,9 +161,6 @@ html_style = 'css/custom.css'
 # typographically correct entities.
 #html_use_smartypants = True
 
-# Custom sidebar templates, maps document names to template names.
-#html_sidebars = {}
-
 # Additional templates that should be rendered to pages, maps page names to
 # template names.
 #html_additional_pages = {}

docs/source/index.rst

@@ -16,6 +16,8 @@ prove or disprove the following hypothesis:
 
 *is sufficiently powerful to justify the creation of a new platform implementation.*
 
+
+
 Read on to learn: