/* Original Blue Dot colors. Dark cyan keeps text and white-button labels readable. */
:root {
  --paper: #f6f5f1;
  --navy: #173248;
  --muted: #5f696d;
  --line: #cbd0cf;
  --line-dark: #9ba5a7;
  --cyan: #20aed3;
  --blue: #00689f;
  --blue-hover: #005681;
  --blue-light: #b2e9ff;
  --blue-pale: #eaf5f8;
  --dot: #20aed3;
  --white: #ffffff;
}