/* -- Light mode (default) -- */
html {
  --paper: #F9F6EF;
  --ink: #111111;
  --ink-mid: #444444;
  --ink-muted: #555555;
  --ink-faint: #BBBBBB;
  --rule-heavy: #111111;
  --rule: #DDDDDD;
  --green: #1F7A4A;
}

/* -- Dark mode -- */
html.dark {
  --paper: #0E0C08;
  --ink: #F9F6EF;
  --ink-mid: #C8C3B8;
  --ink-muted: #7A7670;
  --ink-faint: #555250;
  --rule-heavy: #F9F6EF;
  --rule: #242018;
  --green: #3DBF78;
}