/* Tokens da marca JumpCat — mesma fonte da verdade do painel da devbox (ROADMAP §3). */
@font-face { font-family: "Instrument Serif"; font-style: normal; font-weight: 400; font-display: swap; src: url(../fonts/instrument-serif.woff2) format("woff2"); }
@font-face { font-family: "Instrument Serif"; font-style: italic; font-weight: 400; font-display: swap; src: url(../fonts/instrument-serif-italic.woff2) format("woff2"); }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 100 700; font-display: swap; src: url(../fonts/ibm-plex-sans.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 100 800; font-display: swap; src: url(../fonts/jetbrains-mono.woff2) format("woff2"); }

:root {
  --void: #08090B; --panel: #0E1014; --raised: #13151A; --line: #22262E; --line-2: #30353F;
  --muted: #8C929D; --text: #EDEEF0; --text-2: #A5ABB5;
  --jump: #FE6D01; --jump-hi: #FF8A33; --await: #FFC247; --ok: #3DDC97; --info: #4CC9F0; --err: #FF4D5E;
  --mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
  --sans: "IBM Plex Sans", system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  --serif: "Instrument Serif", Georgia, "Times New Roman", serif;
  --r: 12px; --r-sm: 8px;
  color-scheme: dark;
}