From e04af86491d97b297406cc4cd0d77fbbfc3a94c4 Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 16 May 2024 17:40:34 -0700
Subject: docs: update website

---
 docs/book/404.html | 18 +-----------------
 1 file changed, 1 insertion(+), 17 deletions(-)

(limited to 'docs/book/404.html')

diff --git a/docs/book/404.html b/docs/book/404.html
index ad6526d..c751767 100644
--- a/docs/book/404.html
+++ b/docs/book/404.html
@@ -8,7 +8,7 @@
 
 
         <!-- Custom HTML head -->
-        
+
         <meta name="description" content="">
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <meta name="theme-color" content="#ffffff">
@@ -194,22 +194,6 @@
 
         </div>
 
-        <!-- Livereload script (if served using the cli tool) -->
-        <script>
-            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
-            const socket = new WebSocket(wsAddress);
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
 
 
 
-- 
cgit v1.2.3-70-g09d2