/*
 * Shared design tokens for python-type-checking.com.
 *
 * These values were extracted verbatim from the two benchmark dashboards,
 * which already shared an identical :root block. Both dashboards and the
 * homepage now consume this single definition.
 *
 * The --color-<checker> values are chart series identities. Changing one
 * changes what a reader sees in every historical chart, so treat them as
 * fixed. They are accents, not contrast-safe body-text colours.
 */

:root {
    /* Surfaces and text */
    --color-bg: #0d1117;
    --color-bg-secondary: #161b22;
    --color-bg-tertiary: #21262d;
    --color-border: #30363d;
    --color-text: #c9d1d9;
    --color-text-muted: #8b949e;
    --color-text-bright: #f0f6fc;

    /* Semantic accents */
    --color-accent: #58a6ff;
    --color-success: #3fb950;
    --color-warning: #d29922;
    --color-error: #f85149;

    /* Type checker chart series: do not change without changing the charts */
    --color-pyright: #3178c6;
    --color-pyrefly: #e74c3c;
    --color-ty: #9b59b6;
    --color-mypy: #2ecc71;
    --color-zuban: #f39c12;

    /* Typography: system stacks only, no remote font requests */
    --font-mono: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
    --font-sans: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif;

    --shadow-sm: 0 1px 2px rgba(0, 0, 0, 0.3);
    --shadow-md: 0 4px 12px rgba(0, 0, 0, 0.4);
    --shadow-lg: 0 8px 24px rgba(0, 0, 0, 0.5);

    --radius-sm: 6px;
    --radius-md: 8px;
    --radius-lg: 12px;

    /* Spacing scale */
    --space-1: 4px;
    --space-2: 8px;
    --space-3: 12px;
    --space-4: 16px;
    --space-5: 24px;
    --space-6: 32px;
    --space-7: 48px;
    --space-8: 64px;
    --space-9: 96px;

    /* Layout widths */
    --width-prose: 68ch;
    --width-page: 1400px;
}