/* Generato da scripts/set-font-scale.py — non modificare a mano */
:root {
  --de-font-scale: 0.7500;
}

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