/* AUTO-GENERATED by generate_theme.py from theme.json — do not hand-edit. */
:root {
  --ink: #12141C;
  --ink-soft: #5B5F6B;
  --paper: #FFFFFF;
  --cloud: #F5F6F8;
  --line: #E3E5EA;
  --star: #F5A623;
  --error: #D64545;
  --footer-label: #8A8F9C;
  --footer-text: #C9CCD3;
  --footer-faint: #7A7E89;
  --primary: #14532d;
  --primary-dark: #0F3E22;
  --ink-light: #52731A;
  --cloud-dark: #FDFFFD;
}