From c15103048d22c8e3171c8965b8cf15ca99494086 Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Fri, 15 Dec 2023 01:18:57 +0000
Subject: Deployed efb0730e to dev with MkDocs 1.5.3 and mike 2.0.0

---
 .../templates/partials/javascripts/content.html    | 39 ++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 dev/src/templates/partials/javascripts/content.html

(limited to 'dev/src/templates/partials/javascripts/content.html')

diff --git a/dev/src/templates/partials/javascripts/content.html b/dev/src/templates/partials/javascripts/content.html
new file mode 100644
index 00000000..d361f18b
--- /dev/null
+++ b/dev/src/templates/partials/javascripts/content.html
@@ -0,0 +1,39 @@
+<!--
+  Copyright (c) 2016-2023 Martin Donath <martin.donath@squidfunk.com>
+
+  Permission is hereby granted, free of charge, to any person obtaining a copy
+  of this software and associated documentation files (the "Software"), to
+  deal in the Software without restriction, including without limitation the
+  rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
+  sell copies of the Software, and to permit persons to whom the Software is
+  furnished to do so, subject to the following conditions:
+
+  The above copyright notice and this permission notice shall be included in
+  all copies or substantial portions of the Software.
+
+  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+  FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+  AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+  FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
+  IN THE SOFTWARE.
+-->
+
+<!-- User-preference: link content tabs -->
+{% if "content.tabs.link" in features %}
+  <script>
+    var tabs = __md_get("__tabs")
+    if (Array.isArray(tabs))
+      main: for (var set of document.querySelectorAll(".tabbed-set")) {
+        var labels = set.querySelector(".tabbed-labels")
+        for (var tab of tabs)
+          for (var label of labels.getElementsByTagName("label"))
+            if (label.innerText.trim() === tab) {
+              var input = document.getElementById(label.htmlFor)
+              input.checked = true
+              continue main
+            }
+      }
+  </script>
+{% endif %}
-- 
cgit v1.2.3-70-g09d2