/* Avenue Proof on Ledger: the Branch Avenue (A) variable names the original
   Avenue Proof file uses, pointed at Ledger tokens. Load after tokens.css. */
:root, [data-theme="paper"] {
  --bg-app: var(--bg-page);
  --bg-subtle: var(--grey-100);
  --bg-muted: var(--line);
  --bg-inverse: var(--navy-950);
  --border: var(--line-2);
  --border-strong: var(--edge-control);
  --text-tertiary: var(--text-muted);
  --brand: var(--accent);
  --brand-border: var(--blue-200);
  --brand-subtle: var(--blue-50);
  --brand-text: var(--blue-700);
  --gray-25: var(--bg-sunken);
  --gray-50: var(--bg-sunken);
  --gray-100: var(--grey-100);
  --gray-150: var(--line);
  --gray-200: var(--line-2);
  --gray-700: var(--ink-700);
  --gray-900: var(--navy-900);
  --green-500: var(--viz-1);
  --green-600: var(--blue-700);
  --green-800: var(--blue-800);
  --amber-500: var(--canary-600);
  --positive: var(--status-live-fg);
  --positive-bg: var(--status-live-bg);
  --positive-border: var(--blue-200);
  --negative: var(--status-needs-fg);
  --negative-bg: var(--status-needs-bg);
  --negative-border: var(--red-200);
  --warning: var(--status-needs-fg);
  --warning-bg: var(--status-needs-bg);
  --warning-border: var(--red-200);
  --info: var(--status-live-fg);
  --info-bg: var(--status-live-bg);
  --info-border: var(--blue-200);
  --font-mono: var(--font-value);
  --shadow-xs: var(--shadow-e1);
  --shadow-sm: var(--shadow-e1);
  --shadow-md: var(--shadow-e3);
  --shadow-lg: var(--shadow-e3);
  --grad-brand: linear-gradient(var(--navy-900), var(--navy-900));
  --grad-brand-sheen: linear-gradient(transparent, transparent);
  --wash-app: none;
  --highlight-top: 0 0 0 0 transparent;
}
html, body { margin: 0; height: 100%; }
a { color: var(--text-link); }
a:hover { color: var(--blue-800); }
:focus-visible { outline: 2px solid var(--focus-ring); outline-offset: 2px; }
button { font-family: inherit; }
.ba-raised { background: var(--bg-surface); border: 1px solid var(--border-subtle); border-radius: var(--radius-card); box-shadow: var(--shadow-e1); }
