Deployed daa378d6 to dev with MkDocs 1.5.3 and mike 2.0.0

1 files changed, 4 insertions, 37 deletions

diff --git a/dev/src/templates/partials/javascripts/content.html b/dev/src/templates/partials/javascripts/content.html
index d361f18b..32021d0b 100644
--- a/dev/src/templates/partials/javascripts/content.html
+++ b/dev/src/templates/partials/javascripts/content.html
@@ -1,39 +1,6 @@
-<!--
-  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 -->
+{#-
+  This file was automatically generated - do not edit
+-#}
 {% 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>
+  <script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
 {% endif %}