foo

control-toolbox · Jul 12, 2024 · 304f5a0 · 304f5a0
1 parent 1a816cb
commit 304f5a0
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/_layouts/default.html b/_layouts/default.html
@@ -1,9 +1,6 @@
 <!DOCTYPE html>
 <html lang="en">
   <head>
-    <script charset="utf-8" src="/docs/assets/default/multidoc_injector.js" type="text/javascript"></script>
-    <script charset="utf-8" src="/docs/assets/default/flexsearch.bundle.js" type="text/javascript"></script>
-    <script charset="utf-8" src="/docs/assets/default/flexsearch_integration.js" type="text/javascript"></script>
     <!-- Favicon--> <link rel=icon  type="image/x-icon" href="assets/img/ct-logo.svg" />
     <meta charset="UTF-8">
     <meta name="viewport" content="width=device-width, initial-scale=1">
@@ -22,6 +19,7 @@
     <link class="docs-theme-link" data-theme-name="documenter-light" data-theme-primary="" href="/docs/optimalcontrol/stable/assets/themes/documenter-light.css" rel="stylesheet" type="text/css"/>
     <link href="/docs/assets/default/multidoc.css" rel="stylesheet" type="text/css"/>
     <link href="/docs/assets/default/flexsearch.css" rel="stylesheet" type="text/css"/>
+    <script charset="utf-8" src="/assets/js/topbar.js" type="text/javascript"></script>
     <!-- Google tag (gtag.js) -->
     <script async src="https://www.googletagmanager.com/gtag/js?id=G-J27VDFHJW2"></script>
     <script>