df

src/styles/tokens.css

@@ -84,6 +84,9 @@
 
   /* Chrome */
   --header-height: 4.5rem;
+  /* Side inset of the menu bar once the page scrolls: it widens to the viewport, keeping the
+     same air as above and below so the corner crosses stay visible. */
+  --header-inset-scrolled: var(--space-3);
 
   /* HUD frame (menu bar): one line width and colour for every line, borders and crosses alike. */
   --hud-line-width: 1px;