/* Design tokens shared by the site and the regact viewer (/viewer/ links ../assets/tokens.css).
   Dark theme only. Font URLs are relative to this file. */

@font-face {
  font-family: "Martian Mono";
  font-style: normal;
  font-weight: 300 700;
  font-stretch: 75% 112.5%;
  font-display: swap;
  src: url(fonts/MartianMono-latin.woff2) format("woff2");
}

@font-face {
  font-family: "Instrument Sans";
  font-style: normal;
  font-weight: 400 700;
  font-stretch: 75% 100%;
  font-display: swap;
  src: url(fonts/InstrumentSans-latin.woff2) format("woff2");
}

@font-face {
  font-family: "Instrument Sans";
  font-style: italic;
  font-weight: 400 700;
  font-stretch: 75% 100%;
  font-display: swap;
  src: url(fonts/InstrumentSans-Italic-latin.woff2) format("woff2");
}

:root {
  color-scheme: dark;

  --bg: #101114;
  --panel: #14151A;
  --cell: #1D1E24;
  --line: #2A2C33;
  --line-strong: #3A3D46;
  --text: #E6E7EA;
  --text-soft: #CFD0D5;
  --muted: #A2A5AE;
  --paper: #F2F3F5;

  /* ARC-AGI-3 palette, indices 0-15 */
  --a0: #FFFFFF;
  --a1: #CCCCCC;
  --a2: #999999;
  --a3: #666666;
  --a4: #333333;
  --a5: #000000;
  --a6: #E53AA3;
  --a7: #FF7BCC;
  --a8: #F93C31;
  --a9: #1E93FF;
  --a10: #88D8F1;
  --a11: #FFDC00;
  --a12: #FF851B;
  --a13: #921231;
  --a14: #4FCC30;
  --a15: #A356D6;

  --link: var(--a10);
  --focus: var(--a11);

  --sans: "Instrument Sans", "Helvetica Neue", Arial, sans-serif;
  --mono: "Martian Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
}