docs: warn about 'latest' docs

docs/source/_ext/warn_about_latest.py

@@ -0,0 +1,8 @@
+def setup(app):
+    app.add_js_file('js/warn-about-latest.js')
+
+    return {
+        'version': '0.1',
+        'parallel_read_safe': True,
+        'parallel_write_safe': True,
+    } 

docs/source/_static/css/lmql-docs.css

@@ -388,4 +388,15 @@ span.tag {
     vertical-align: middle;
     padding: 0.2em;
     margin-left: 0.5em;
+}
+
+.note.latest {
+    font-size: 0.8em;
+    background-color: rgba(48, 237, 19, 0.135);
+    padding: 5pt;
+    margin-bottom: 10pt;
+}
+
+.note.latest .admonition-title {
+    font-size: 0.8em;
 }

docs/source/_static/js/warn-about-latest.js

@@ -0,0 +1,11 @@
+(function() {
+    // add if latest or dev (root)
+    if (!window.location.pathname.includes('/stable/')) {
+        var warning = document.createElement('DIV');
+        warning.className = 'note latest';
+        warning.innerHTML = '<b>Note</b> You are viewing the <i>latest version</i> of the docs. This means some documented features may not be available in the version you are using. You can view the <a href="/en/stable/">stable version instead </a> or make sure you are running the <a href="https://github.com/eth-sri/lmql#installing-the-latest-development-version">latest LMQL version.</a>';
+        warning.classList.add('sy-alert', 'sy-alert--warning');
+        document.querySelector('article[role=main]').prepend(warning);
+    }
+    }
+)();

docs/source/conf.py

@@ -24,6 +24,7 @@
     'sphinx.ext.intersphinx',
     "myst_parser",
     "lmql_snippets",
+    "warn_about_latest",
     "nbsphinx",
     "sphinx_design"
 ]

docs/source/index.rst

@@ -137,4 +137,3 @@ To learn more about LMQL, select one of the following sections or navigate the d
     Discord <https://discord.gg/7eJP4fcyNT>
     GitHub Issues <https://github.com/eth-sri/lmql/issues>
     E-Mail <mailto:[email protected]>
-