/* Match the design's variable face. The auto-hinted static build changes small
   glyph heights and their apparent baseline on Windows despite identical names. */
@font-face { font-family: "Public Sans"; src: url("./public-sans/PublicSans-Variable.woff2") format("woff2"); font-weight: 100 900; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("./jetbrains-mono/JetBrainsMono-Variable.woff2") format("woff2"); font-weight: 100 800; font-style: normal; font-display: swap; }