Deployed 378eb3b to develop with MkDocs 1.4.2 and mike 1.1.2

rl-institut · Aug 14, 2023 · b2f011f · b2f011f
1 parent 81fdb9c
commit b2f011f
Show file tree

Hide file tree

Showing 19 changed files with 216 additions and 0 deletions.
diff --git a/develop/404.html b/develop/404.html
@@ -79,6 +79,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="..//">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/code/code_example/index.html b/develop/code/code_example/index.html
@@ -86,6 +86,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/code/index.html b/develop/code/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/code/install/index.html b/develop/code/install/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/code/style/index.html b/develop/code/style/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/best-practice/index.html b/develop/development/best-practice/index.html
@@ -83,6 +83,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/best-practice/test-driven-developement-workflow/index.html b/develop/development/best-practice/test-driven-developement-workflow/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/collaboration/citation/index.html b/develop/development/collaboration/citation/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/collaboration/code_of_conduct/index.html b/develop/development/collaboration/code_of_conduct/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/collaboration/contributing/index.html b/develop/development/collaboration/contributing/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/collaboration/index.html b/develop/development/collaboration/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/collaboration/license/index.html b/develop/development/collaboration/license/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/collaboration/users/index.html b/develop/development/collaboration/users/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/documentation/index.html b/develop/development/documentation/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/git/gitignore/index.html b/develop/development/git/gitignore/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/git/index.html b/develop/development/git/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/development/release/index.html b/develop/development/release/index.html
@@ -88,6 +88,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../../..">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/index.html b/develop/index.html
@@ -86,6 +86,18 @@
 
       <div data-md-component="outdated" hidden>
 
+          <aside class="md-banner md-banner--warning">
+            <div class="md-banner__inner md-grid md-typeset">
+
+  This is not the latest version.
+  <a href="../.">
+    <strong>Go to latest.</strong>
+  </a>
+
+            </div>
+            <script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script>
+          </aside>
+
       </div>
 
 

diff --git a/develop/sitemap.xml.gz b/develop/sitemap.xml.gz