/* Vendored Inter, variable font covers weights 100..900 and italic in two woff2 files (~340 KB each). Self-hosted so the UI keeps its typeface in offline / observatory setups where the Google Fonts CDN isn't reachable. License at css/fonts/LICENSE. */ @font-face { font-family: 'Inter'; font-style: normal; font-weight: 100 900; font-display: swap; src: url('/css/fonts/InterVariable.woff2') format('woff2-variations'), url('/css/fonts/InterVariable.woff2') format('woff2'); } @font-face { font-family: 'Inter'; font-style: italic; font-weight: 100 900; font-display: swap; src: url('/css/fonts/InterVariable-Italic.woff2') format('woff2-variations'), url('/css/fonts/InterVariable-Italic.woff2') format('woff2'); } /* FONT-1: vendored alternatives for the Settings → Appearance font picker. All OFL-1.1; attribution + refresh script in /fonts/README.md. Only Regular + Bold loaded to keep the bundle ≤ 600 KB total across the four families. */ @font-face { font-family: 'Atkinson Hyperlegible'; font-style: normal; font-weight: 400; font-display: swap; src: url('/fonts/atkinson/AtkinsonHyperlegible-Regular.woff2') format('woff2'); } @font-face { font-family: 'Atkinson Hyperlegible'; font-style: normal; font-weight: 700; font-display: swap; src: url('/fonts/atkinson/AtkinsonHyperlegible-Bold.woff2') format('woff2'); } @font-face { font-family: 'IBM Plex Sans'; font-style: normal; font-weight: 400; font-display: swap; src: url('/fonts/plex-sans/IBMPlexSans-Regular.woff2') format('woff2'); } @font-face { font-family: 'IBM Plex Sans'; font-style: normal; font-weight: 700; font-display: swap; src: url('/fonts/plex-sans/IBMPlexSans-Bold.woff2') format('woff2'); } @font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url('/fonts/jetbrains-mono/JetBrainsMono-Regular.woff2') format('woff2'); } @font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 700; font-display: swap; src: url('/fonts/jetbrains-mono/JetBrainsMono-Bold.woff2') format('woff2'); } /* Font picker theme variables. The body's font-family resolves to var(--font-body); switching families is one data-font attribute on , no re-rendering required. Existing rules that hard-code 'JetBrains Mono' / 'Inter' keep working because we leave the defaults wired to those; only data-font="atkinson" / "plex" / "system" override the variables. */ :root { /* Default = Atkinson Hyperlegible. Picked over Inter because Polaris's target operator is older / often low-vision, and Atkinson's unique letter shapes (B/8, l/1/I, 0/O all distinguishable at small UI sizes) win at the sidebar's 10px labels + the night-mode amber-on-black contrast. The picker in Settings → Appearance lets anyone switch back. */ --font-body: 'Atkinson Hyperlegible', -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; --font-mono: 'JetBrains Mono', ui-monospace, 'Cascadia Code', Menlo, Consolas, monospace; } html[data-font="inter"] { --font-body: 'Inter', 'Inter Variable', -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif; } html[data-font="plex"] { --font-body: 'IBM Plex Sans', -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; } html[data-font="system"] { --font-body: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, system-ui, sans-serif; --font-mono: ui-monospace, 'Cascadia Code', Menlo, Consolas, monospace; } *, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; /* Inheriting font-family on every element makes sure form controls (buttons, inputs, selects) get Inter too, those elements normally default to the OS UI font even when body has font-family set. */ font-family: inherit; } :root { /* The whole app is dark (default + night themes; there is no light theme). Declaring the document color-scheme dark makes Chromium/ Firefox render ALL native controls + their popups dark — most importantly the