/* Design tokens: palette shared by every other stylesheet. */

:root {
  --bg: #131417;
  --dot: rgba(255, 255, 255, 0.05);
  --panel: #1b1d22;
  --raised: #22252b;
  --border: #2b2f37;
  --border-strong: #3c424d;
  --text: #e6e4e0;
  --dim: #8a8f9a;
  --faint: #565c67;
  --klass: #6fd3c0;
  --enum: #b79cf0;
  --type: #d9a441;
  --inherit: #c970b6;
  --danger: #e0785a;
}