diff --git a/docs/javascripts/mini-coi.js b/docs/javascripts/mini-coi.js
new file mode 100644
index 0000000..b7a23bf
--- /dev/null
+++ b/docs/javascripts/mini-coi.js
@@ -0,0 +1,28 @@
+/*! coi-serviceworker v0.1.7 - Guido Zuidhof and contributors, licensed under MIT */
+/*! mini-coi - Andrea Giammarchi and contributors, licensed under MIT */
+(({ document: d, navigator: { serviceWorker: s } }) => {
+  if (d) {
+    const { currentScript: c } = d;
+    s.register(c.src, { scope: c.getAttribute('scope') || '.' }).then(r => {
+      r.addEventListener('updatefound', () => location.reload());
+      if (r.active && !s.controller) location.reload();
+    });
+  }
+  else {
+    addEventListener('install', () => skipWaiting());
+    addEventListener('activate', e => e.waitUntil(clients.claim()));
+    addEventListener('fetch', e => {
+      const { request: r } = e;
+      if (r.cache === 'only-if-cached' && r.mode !== 'same-origin') return;
+      e.respondWith(fetch(r).then(r => {
+        const { body, status, statusText } = r;
+        if (!status || status > 399) return r;
+        const h = new Headers(r.headers);
+        h.set('Cross-Origin-Opener-Policy', 'same-origin');
+        h.set('Cross-Origin-Embedder-Policy', 'require-corp');
+        h.set('Cross-Origin-Resource-Policy', 'cross-origin');
+        return new Response(body, { status, statusText, headers: h });
+      }));
+    });
+  }
+})(self);
diff --git a/mkdocs.yml b/mkdocs.yml
index e361549..439fd63 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -5,6 +5,8 @@ theme:
 
     logo: assets/images/pyscript-black.svg
 
+    custom_dir: overrides
+
     palette:
         # Palette toggle for automatic mode
         - media: "(prefers-color-scheme)"
diff --git a/overrides/main.html b/overrides/main.html
new file mode 100644
index 0000000..17c4856
--- /dev/null
+++ b/overrides/main.html
@@ -0,0 +1,6 @@
+{% extends "base.html" %}
+
+{% block libs %}
+<script src="./javascripts/mini-coi.js"></script>
+{{ super() }}
+{% endblock %}