/* Per-member display size (UserProfile.display_density). Each smaller size
   zooms the whole document by its --density-zoom. A framed page (the case
   graph) already inherits its host's zoom, so it never zooms again. Zoom
   shrinks viewport units too: full-height layouts divide them by
   --density-zoom to keep filling the window. */
html[data-density="comfortable"] { --density-zoom: 0.9; }
html[data-density="compact"] { --density-zoom: 0.875; }
html[data-density="snug"] { --density-zoom: 0.85; }
html[data-density="tight"] { --density-zoom: 0.8; }
html[data-density-framed] { --density-zoom: 1; }
html { zoom: var(--density-zoom, 1); }