/* MachineChecked's colours and type, light and dark: the one definition of these variables, used
   by the reader (app.css imports it) and, as /read/theme.css, by machinechecked.org's
   pages. The status colours always sit beside the status's text. */
:root {
  --bg: #f7f5f0;
  --surface: #ffffff;
  --surface-2: #f0ede6;
  --text: #1d1d1b;
  --muted: #5f5d57;
  --faint: #6c6962;
  --border: #dcd8ce;
  --accent: #2f6f73;
  --on-accent: #ffffff;
  --radius: 6px;
  --control-height: 36px;
  --space: 8px;
  --accent-soft: #d9ebe9;
  --focus: #2f6f73;

  /* Status classes. The text of a status is always shown beside its colour. */
  --st-accepted: #2e7d4f;
  --st-proved: #2f5f9e;
  --st-refuted: #7a4ea3;
  --st-open: #b7791f;
  --st-malformed: #b33a3a;
  --st-unspecified: #8d8a82;
  --st-out-of-scope: #c9c5bb;

  --tier-violation: #b33a3a;
  --tier-warning: #8a5b14;
  --tier-obligation: #2f5f9e;

  --serif: "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: "JuliaMono", "DejaVu Sans Mono", "Menlo", "Consolas", monospace;
  color-scheme: light;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #161817;
    --surface: #1f2221;
    --surface-2: #272b2a;
    --text: #e8e6e1;
    --muted: #b0ada6;
    --faint: #aaa69e;
    --border: #3a3f3d;
    --accent: #7fc3c0;
    --on-accent: #162a29;
    --accent-soft: #23403f;
    --focus: #7fc3c0;
    --st-accepted: #5cbf86;
    --st-proved: #6f9fdc;
    --st-refuted: #b38ad8;
    --st-open: #e0a84a;
    --st-malformed: #e07070;
    --st-unspecified: #8d8a82;
    --st-out-of-scope: #4a4e4c;
    --tier-violation: #e07070;
    --tier-warning: #e0a84a;
    --tier-obligation: #6f9fdc;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #161817;
  --surface: #1f2221;
  --surface-2: #272b2a;
  --text: #e8e6e1;
  --muted: #b0ada6;
  --faint: #aaa69e;
  --border: #3a3f3d;
  --accent: #7fc3c0;
    --on-accent: #162a29;
  --accent-soft: #23403f;
  --focus: #7fc3c0;
  --st-accepted: #5cbf86;
  --st-proved: #6f9fdc;
  --st-refuted: #b38ad8;
  --st-open: #e0a84a;
  --st-malformed: #e07070;
  --st-unspecified: #8d8a82;
  --st-out-of-scope: #4a4e4c;
  --tier-violation: #e07070;
  --tier-warning: #e0a84a;
  --tier-obligation: #6f9fdc;
  color-scheme: dark;
}