Index: src/views/shell.ejs
===================================================================
--- src/views/shell.ejs	(revision e46ebaa7d0ba257f3e7916d2a4ecfa52e68617da)
+++ src/views/shell.ejs	(revision 4989294e0e9e1dcbe438e2456550c0bd2c57df61)
@@ -222,5 +222,5 @@
 
 <!-- v9 stylesheet (full palette system) -->
-<link rel="stylesheet" href="/assets/css/style.css?v=77">
+<link rel="stylesheet" href="/assets/css/style.css?v=78">
 <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 = 13;
+  var MOD_V = 16;
 
   // name -> 1 (aan het laden) of de module-namespace (geladen). Een module