Index: src/views/shell.ejs
===================================================================
--- src/views/shell.ejs	(revision d8f8f079ce7979088f94c7dca8819cb4eb384777)
+++ src/views/shell.ejs	(revision a505f315f3c64729f2366f33bdd83e156dedce84)
@@ -222,5 +222,5 @@
 
 <!-- v9 stylesheet (full palette system) -->
-<link rel="stylesheet" href="/assets/css/style.css?v=81">
+<link rel="stylesheet" href="/assets/css/style.css?v=82">
 <script>
 /* iOS safe-area, built by hand. env(safe-area-inset-top) resolves to 0 on this iOS in
@@ -505,5 +505,5 @@
   // Eén nummer voor de hele map. Te vaak bumpen kost één download; te weinig
   // bumpen kost een bugfix die nooit aankomt.
-  var MOD_V = 16;
+  var MOD_V = 19;
 
   // name -> 1 (aan het laden) of de module-namespace (geladen). Een module