/* Global UI scale — equivalent to 95% browser zoom without using CSS zoom */
:root {
  --ui-scale: 0.95;
}

html {
  font-size: calc(100% * var(--ui-scale));
}