Fix up info boxes.

2018-05-07 22:40:57 -07:00
parent 9e5676650e
commit 303f425c6b
11 changed files with 122 additions and 94 deletions
--- a/docs/index.html
+++ b/docs/index.html
@@ -28,5 +28,10 @@
  <script src="//unpkg.com/prismjs/components/prism-cpp.min.js"></script>
  <script src="//unpkg.com/prismjs/components/prism-json.min.js"></script>
  <script src="//unpkg.com/prismjs/components/prism-makefile.min.js"></script>
+  <script>
+    if (typeof navigator.serviceWorker !== 'undefined') {
+      navigator.serviceWorker.register('sw.js')
+    }
+  </script>
 </body>
 </html>