Added navbar and removed insert_navbar.sh

TuringLang · Dec 22, 2024 · 9e328c3 · 9e328c3
1 parent 08d40fe
commit 9e328c3
Show file tree

Hide file tree

Showing 156 changed files with 312 additions and 312 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">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !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">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/tutorials/custom_priors/index.html b/dev/tutorials/custom_priors/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/tutorials/hierarchical_models/index.html b/dev/tutorials/hierarchical_models/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/tutorials/linear_regression/index.html b/dev/tutorials/linear_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/tutorials/logistic_regression/index.html b/dev/tutorials/logistic_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/tutorials/negative_binomial_regression/index.html b/dev/tutorials/negative_binomial_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/tutorials/poisson_regression/index.html b/dev/tutorials/poisson_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/tutorials/robust_regression/index.html b/dev/tutorials/robust_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/api/index.html b/v2.0.1/api/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/index.html b/v2.0.1/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/search/index.html b/v2.0.1/search/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/tutorials/custom_priors/index.html b/v2.0.1/tutorials/custom_priors/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/tutorials/hierarchical_models/index.html b/v2.0.1/tutorials/hierarchical_models/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/tutorials/linear_regression/index.html b/v2.0.1/tutorials/linear_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/tutorials/logistic_regression/index.html b/v2.0.1/tutorials/logistic_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/tutorials/negative_binomial_regression/index.html b/v2.0.1/tutorials/negative_binomial_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/tutorials/poisson_regression/index.html b/v2.0.1/tutorials/poisson_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.0.1/tutorials/robust_regression/index.html b/v2.0.1/tutorials/robust_regression/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.1.0/api/index.html b/v2.1.0/api/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.1.0/index.html b/v2.1.0/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/v2.1.0/search/index.html b/v2.1.0/search/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#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) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");