:root { --bg: #f6f7fb; --panel: #ffffff; --panel-2: #ffffff; --fg: #1f2330; --muted: #5b6472; --border: #d9dde6; --accent: #2563eb; --keyword: #1d4ed8; --string: #b45309; --number: #7c3aed; --comment: #6b7280; --builtin: #0d9488; --def: #b45309; --error: #b91c1c; --ok: #16a34a; /* Semantic status pairs (bg + fg) — formerly repeated as raw hex across badges, test summaries, messages, and similarity tints. Same values, named, so a future theme/dark-mode is a token swap. */ --success-bg: #dcfce7; --success-fg: #166534; --warning-bg: #fef3c7; --warning-fg: #92400e; --danger-bg: #fee2e2; --danger-fg: #991b1b; --info-bg: #dbeafe; --info-fg: #1e40af; /* Radius scale — current values, named so a future retune/dark-mode is one place. 5px (writeup toolbar button) stays literal as a one-off. */ --radius-sm: 6px; --radius-md: 8px; --radius-lg: 10px; --radius-pill: 999px; --radius-round: 50%; /* Spacing scale (2px base; --space-N == N*2 px). Mirrors the existing literals EXACTLY — zero visual change. Applied to padding/margin/gap only, not to widths/heights/insets/line-heights/border-widths. Odd-pixel one-offs (1/3/5/7/9px, used for borders + fine alignment) stay literal; snapping the whole UI to a strict 4px grid is a later, intentionally visual slice. */ --space-1: 2px; --space-2: 4px; --space-3: 6px; --space-4: 8px; --space-5: 10px; --space-6: 12px; --space-7: 14px; --space-8: 16px; --space-9: 18px; --space-12: 24px; --space-16: 32px; --space-20: 40px; /* App shell. --chrome-h is the vertical space the shell takes OUTSIDE the page body (just .content's own padding now that the topbar is gone); panes that want to fill the viewport subtract it. .has-banner raises it. */ --sidebar-w: 232px; --rail-narrow-w: 56px; --chrome-h: 32px; } * { box-sizing: border-box; } html, body { margin: 0; padding: 0; background: var(--bg); color: var(--fg); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif; height: 100%; } /* `.topbar`, `.brand` and a bare `nav a` rule lived here, from the horizontal top navigation the rail replaced. They are gone. The `nav a` rule in particular was load-bearing in the wrong direction: written for a row of links, it put a 16px LEFT margin on every anchor inside any