Added navbar and removed insert_navbar.sh

TuringLang · Dec 22, 2024 · e5a173f · e5a173f
1 parent 0d7aaa8
commit e5a173f
Show file tree

Hide file tree

Showing 15 changed files with 30 additions and 30 deletions.
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/v0.4.5/index.html b/v0.4.5/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/v0.4.5/search/index.html b/v0.4.5/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/v0.4.6/index.html b/v0.4.6/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/v0.4.6/search/index.html b/v0.4.6/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/v0.4.7/index.html b/v0.4.7/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/v0.4.7/search/index.html b/v0.4.7/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/v0.5.0/index.html b/v0.5.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/v0.5.0/search/index.html b/v0.5.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");

diff --git a/v1.0.0/index.html b/v1.0.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/v1.0.0/search/index.html b/v1.0.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");

diff --git a/v1.1.0/index.html b/v1.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/v1.1.0/search/index.html b/v1.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");

diff --git a/v2.0.0/index.html b/v2.0.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.0.0/search/index.html b/v2.0.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");