Add Plausible Analytics to documentation

docs/_templates/layout.html

@@ -0,0 +1,13 @@
+{% extends "!layout.html" %}
+
+{% block extrahead %}
+  {{ super() }}
+
+  {% if READTHEDOCS %}
+  <script defer data-domain="{{ plausible_domain }}" src="https://plausible.io/js/script.js"></script>
+  {% endif %}
+{% endblock extrahead %}
+
+{% block document %}
+  {{ super() }}
+{% endblock document %}

docs/conf.py

@@ -66,6 +66,14 @@
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+html_context = {
+    'conf_py_path': '/docs/',
+    'display_github': True,
+    'github_user': 'SkypLabs',
+    'github_repo': 'probequest',
+    'github_version': 'develop',
+    "plausible_domain": 'probequest.skyplabs.net',
+}
 
 # -- Extension configuration -------------------------------------------------
 
@@ -79,14 +87,3 @@
 
 # Fontpath for seqdiag (truetype font).
 seqdiag_fontpath = '/usr/share/fonts/truetype/ipafont/ipagp.ttf'
-
-
-# -- Options for GitHub integration ------------------------------------------
-
-html_context = {
-    'display_github': True,         # Integrate GitHub
-    'github_user': 'SkypLabs',      # Username
-    'github_repo': 'probequest',    # Repo name
-    'github_version': 'develop',    # Version
-    'conf_py_path': '/docs/',       # Path in the checkout to the docs root
-}