/* Ledger family: workshop. Generated by make_tokens.py; edit palettes.py, not this. */
  @font-face{font-family:"IBM Plex Sans Condensed";src:url("../fonts/IBMPlexSansCondensed-600.woff2")format("woff2");font-weight:600;font-style:normal;font-display:swap}
  @font-face{font-family:"IBM Plex Mono";src:url("../fonts/IBMPlexMono-600.woff2")format("woff2");font-weight:600;font-style:normal;font-display:swap}
  @font-face{font-family:"Source Serif 4";src:url("../fonts/SourceSerif4-400.woff2")format("woff2");font-weight:400;font-display:swap}
  @font-face{font-family:"Source Serif 4";src:url("../fonts/SourceSerif4-600.woff2")format("woff2");font-weight:600;font-display:swap}
  @font-face{font-family:"IBM Plex Sans";src:url("../fonts/IBMPlexSans-400.woff2")format("woff2");font-weight:400;font-display:swap}
  @font-face{font-family:"IBM Plex Sans";src:url("../fonts/IBMPlexSans-600.woff2")format("woff2");font-weight:600;font-display:swap}
  @font-face{font-family:"IBM Plex Mono";src:url("../fonts/IBMPlexMono-400.woff2")format("woff2");font-weight:400;font-display:swap}
:root {
  --paper: #E9EAE6;
  --panel: #F2F3EF;
  --ink: #191B1A;
  --ink-2: #4B504D;
  --rule: #C3C6C1;
  --edge: #727773;
  --signal: #2F6243;
  --signal-2: #7C5A26;
  --font-display: "IBM Plex Sans Condensed", "Arial Narrow", sans-serif;
  --font-head: "Source Serif 4", "Iowan Old Style", "Palatino Linotype", Palatino, serif;
  --font-body: "IBM Plex Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
  --font-mono: "IBM Plex Mono", "SF Mono", Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #161817;
    --panel: #1F2220;
    --ink: #E3E5E1;
    --ink-2: #A0A6A1;
    --rule: #373B38;
    --edge: #686E6A;
    --signal: #7DC096;
    --signal-2: #CBA668;
  }
}