diff --git a/examples/docs/src/index.html b/examples/docs/src/index.html
index d6fce46d..6b976c0e 100644
--- a/examples/docs/src/index.html
+++ b/examples/docs/src/index.html
@@ -21,6 +21,15 @@
         }
       }
     </style>
+    <script>
+      if ("serviceWorker" in navigator) {
+        window.addEventListener("load", () => {
+          navigator.serviceWorker.register("./service-worker.js");
+        });
+      } else {
+        console.log("No service worker registered.");
+      }
+    </script>
   </head>
 
   <body>
