fix: Widen worker charts

This commit is contained in:
Janez T
2026-04-05 18:01:05 +02:00
parent 1baab06627
commit 7f7f4aa975
6 changed files with 46 additions and 22 deletions

View File

@@ -20,7 +20,7 @@ import "../index.css";
<slot />
<script>
const mq = window.matchMedia("(prefers-color-scheme: dark)");
function apply(e) { document.documentElement.classList.toggle("dark", e.matches); }
function apply(e: MediaQueryList | MediaQueryListEvent) { document.documentElement.classList.toggle("dark", e.matches); }
apply(mq);
mq.addEventListener("change", apply);
</script>