/* Local webfonts. font-display:block so first paint never shows a fallback face, then swaps — preload in keeps the block period off-screen. */ @font-face { font-family: "Plus Jakarta Sans"; font-style: normal; font-weight: 400; font-display: block; src: url("assets/fonts/plus-jakarta-sans-400.woff2") format("woff2"); } @font-face { font-family: "Plus Jakarta Sans"; font-style: normal; font-weight: 500; font-display: block; src: url("assets/fonts/plus-jakarta-sans-500.woff2") format("woff2"); } @font-face { font-family: "Plus Jakarta Sans"; font-style: normal; font-weight: 600; font-display: block; src: url("assets/fonts/plus-jakarta-sans-600.woff2") format("woff2"); } @font-face { font-family: "Plus Jakarta Sans"; font-style: normal; font-weight: 700; font-display: block; src: url("assets/fonts/plus-jakarta-sans-700.woff2") format("woff2"); } @font-face { font-family: "Plus Jakarta Sans"; font-style: normal; font-weight: 800; font-display: block; src: url("assets/fonts/plus-jakarta-sans-800.woff2") format("woff2"); } @font-face { font-family: "DM Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("assets/fonts/dm-mono-400.woff2") format("woff2"); } @font-face { font-family: "DM Mono"; font-style: normal; font-weight: 500; font-display: block; src: url("assets/fonts/dm-mono-500.woff2") format("woff2"); } /* Metric-matched fallbacks so a missed font still keeps container sizes. */ @font-face { font-family: "Plus Jakarta Sans Fallback"; src: local("Arial"), local("Helvetica Neue"), local("Helvetica"); size-adjust: 105%; ascent-override: 92%; descent-override: 23%; line-gap-override: 0%; } @font-face { font-family: "DM Mono Fallback"; src: local("Menlo"), local("Consolas"), local("ui-monospace"); size-adjust: 90%; ascent-override: 90%; descent-override: 22%; line-gap-override: 0%; }