/* Plain house style: deep navy, a cool accent, DejaVu Sans. No company.
   Copied into <page>/brand/brand.css; the tokens are the ones common/page/base.css documents. */
@font-face { font-family: "DejaVu Sans"; src: url(fonts/sans-light.ttf); font-weight: 300; }
@font-face { font-family: "DejaVu Sans"; src: url(fonts/sans-regular.ttf); font-weight: 400; }
@font-face { font-family: "DejaVu Sans"; src: url(fonts/sans-bold.ttf); font-weight: 700; }
@font-face { font-family: "DejaVu Sans Mono"; src: url(fonts/mono-regular.ttf); font-weight: 400; }

:root {
  --font-sans: "DejaVu Sans";
  --font-mono: "DejaVu Sans Mono";
  --brand-dark: #060a18;
  --accent: #6fb3ff;
  --accent-tint: rgba(111, 179, 255, .18);
  --panel: rgba(8, 12, 28, 0.86);
  --card-bg: rgba(8, 12, 28, .72);
  --caption-bg: rgba(8, 12, 28, .78);
  --fg: #f2f5fb;
  --fg-soft: #d6deee;
  --fg-notes: #dfe5f1;
  --muted: #98a6c2;
  --rule: rgba(214, 222, 238, 0.22);
}