Added navbar and removed insert_navbar.sh

TuringLang · Dec 29, 2024 · 2a548ff · 2a548ff
1 parent 81cc608
commit 2a548ff
Show file tree

Hide file tree

Showing 117 changed files with 234 additions and 234 deletions.
diff --git a/dev/api/index.html b/dev/api/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/example/index.html b/dev/example/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/gaussian-process/index.html b/dev/examples/gaussian-process/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/gaussian-ssm/index.html b/dev/examples/gaussian-ssm/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/levy-ssm/index.html b/dev/examples/levy-ssm/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/particle-gibbs/index.html b/dev/examples/particle-gibbs/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/index.html b/dev/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/search/index.html b/dev/search/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/api/index.html b/previews/PR100/api/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/example/index.html b/previews/PR100/example/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/examples/gaussian-process/index.html b/previews/PR100/examples/gaussian-process/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/examples/gaussian-ssm/index.html b/previews/PR100/examples/gaussian-ssm/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/examples/levy-ssm/index.html b/previews/PR100/examples/levy-ssm/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/examples/particle-gibbs/index.html b/previews/PR100/examples/particle-gibbs/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/index.html b/previews/PR100/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR100/search/index.html b/previews/PR100/search/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR102/api/index.html b/previews/PR102/api/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR102/example/index.html b/previews/PR102/example/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR102/examples/gaussian-process/index.html b/previews/PR102/examples/gaussian-process/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR102/examples/gaussian-ssm/index.html b/previews/PR102/examples/gaussian-ssm/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR102/examples/levy-ssm/index.html b/previews/PR102/examples/levy-ssm/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR102/examples/particle-gibbs/index.html b/previews/PR102/examples/particle-gibbs/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle"><body>#9776;</span>
+    <span class="ext-menu-toggle">&#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) <body><body>
+                !navLinks.contains(event.target) &&
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");