Index: src/views/shell.ejs
===================================================================
--- src/views/shell.ejs	(revision f3f43df47eb81f36be50bbc3b2191224a6a4c7b4)
+++ src/views/shell.ejs	(revision 5d6868642ec935e64b72c33d00cc84edb29b193d)
@@ -163,5 +163,5 @@
 
 <!-- v9 stylesheet (full palette system) -->
-<link rel="stylesheet" href="/assets/css/style.css?v=12">
+<link rel="stylesheet" href="/assets/css/style.css?v=13">
 
 <!-- Audio player styles: loaded on every page so the mini-player works
