:root {
    --bg-main: #0e0e11;
    --bg-card: #16161a;
    --bg-hover: #1e1e24;
    --border-color: #2a2a35;
    --text-primary: #f8f8f2;
    --text-secondary: #9494a0;
    --text-muted: #5a5a6a;
    --accent-blue: #3b82f6;
    --accent-red: #ef4444;
    --accent-yellow: #eab308;
    --accent-green: #22c55e;
    --font-sans: -apple-system, BlinkMacSystemFont, "Inter", "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
    --font-mono: "JetBrains Mono", "SF Mono", Consolas, monospace;
}

* {
    box-sizing: border-box;
    margin: 0;
    padding: 0;
}

body {
    background-color: var(--bg-main);
    color: var(--text-primary);
    font-family: var(--font-sans);
    line-height: 1.5;
    -webkit-font-smoothing: antialiased;
}

.container {
    max-width: 1200px;
    margin: 0 auto;
    padding: 0 1.5rem;
}

.banner {
    background-color: rgba(234, 179, 8, 0.1);
    border-bottom: 1px solid rgba(234, 179, 8, 0.2);
    padding: 0.75rem 0;
}

.banner-content {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 0.5rem;
    font-size: 0.875rem;
    color: var(--accent-yellow);
}

.app-header {
    padding: 3rem 0 2rem;
    border-bottom: 1px solid var(--border-color);
    margin-bottom: 2rem;
}

.app-header h1 {
    font-size: 2rem;
    font-weight: 700;
    letter-spacing: -0.025em;
    margin-bottom: 0.25rem;
}

.app-header .subtitle {
    color: var(--text-secondary);
    font-size: 1rem;
}

.dashboard-section {
    margin-bottom: 3rem;
}

.section-header {
    display: flex;
    align-items: center;
    gap: 1rem;
    margin-bottom: 1.25rem;
}

.section-header h2 {
    font-size: 1.25rem;
    font-weight: 600;
    letter-spacing: -0.01em;
}

.section-desc {
    color: var(--text-secondary);
    font-size: 0.875rem;
    margin-bottom: 1rem;
}

.badge {
    font-size: 0.75rem;
    font-weight: 600;
    padding: 0.25rem 0.5rem;
    border-radius: 9999px;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.badge.danger {
    background-color: rgba(239, 68, 68, 0.1);
    color: var(--accent-red);
    border: 1px solid rgba(239, 68, 68, 0.2);
}

.badge.warning {
    background-color: rgba(234, 179, 8, 0.1);
    color: var(--accent-yellow);
    border: 1px solid rgba(234, 179, 8, 0.2);
}

.badge.success {
    background-color: rgba(34, 197, 94, 0.1);
    color: var(--accent-green);
    border: 1px solid rgba(34, 197, 94, 0.2);
}

.status-indicator {
    width: 8px;
    height: 8px;
    border-radius: 50%;
    background-color: var(--accent-green);
    box-shadow: 0 0 8px rgba(34, 197, 94, 0.5);
}

.card-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
    gap: 1rem;
}

.card {
    background-color: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 0.5rem;
    padding: 1.25rem;
}

.card-label {
    color: var(--text-secondary);
    font-size: 0.75rem;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin-bottom: 0.5rem;
}

.card-value {
    font-size: 1.5rem;
    font-weight: 600;
    font-family: var(--font-mono);
}

.table-container {
    background-color: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 0.5rem;
    overflow-x: auto;
}

table {
    width: 100%;
    border-collapse: collapse;
    text-align: left;
    font-size: 0.875rem;
}

th {
    background-color: rgba(255,255,255,0.02);
    color: var(--text-secondary);
    font-weight: 500;
    padding: 0.75rem 1rem;
    border-bottom: 1px solid var(--border-color);
    white-space: nowrap;
}

td {
    padding: 0.875rem 1rem;
    border-bottom: 1px solid var(--border-color);
}

tr:last-child td {
    border-bottom: none;
}

tbody tr:hover {
    background-color: var(--bg-hover);
}

.empty-state {
    text-align: center;
    color: var(--text-muted);
    font-style: italic;
    padding: 2rem !important;
}

footer {
    border-top: 1px solid var(--border-color);
    padding: 2rem 0;
    margin-top: 4rem;
    text-align: center;
    color: var(--text-muted);
    font-size: 0.875rem;
}

.mono {
    font-family: var(--font-mono);
}

.status-refused { color: var(--accent-red); font-weight: 600; }
.status-approved { color: var(--accent-green); font-weight: 600; }
.status-blocked { color: var(--accent-red); font-weight: 700; font-size: 0.8rem; letter-spacing: 0.05em; }
.status-pass { color: var(--accent-green); font-weight: 700; font-size: 0.8rem; letter-spacing: 0.05em; }
.status-fail { color: var(--accent-red); font-weight: 700; font-size: 0.8rem; letter-spacing: 0.05em; }

/* Adversarial harness section — distinct border to signal it's the proof section */
.adversarial-section {
    border-left: 3px solid var(--accent-red);
    padding-left: 1.5rem;
}

.adversarial-section h2 {
    color: var(--text-primary);
}

/* Attack payload — truncate long injected strings but allow expand on hover */
.payload-cell {
    font-family: var(--font-mono);
    font-size: 0.72rem;
    max-width: 240px;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
    cursor: help;
    color: var(--text-secondary);
}

/* Fill delta coloring */
.fill-delta-neg { color: var(--accent-red); font-family: var(--font-mono); }
.fill-delta-pos { color: var(--accent-green); font-family: var(--font-mono); }
.fill-delta-zero { color: var(--text-muted); font-family: var(--font-mono); }

/* Determinism section — first thing a judge sees, blue left-border to distinguish from adversarial red */
.determinism-section {
    border-left: 3px solid var(--accent-blue);
    padding-left: 1.5rem;
}

.determinism-section .card-grid {
    margin-top: 1rem;
}

.diverged-yes { color: var(--accent-red); font-weight: 600; }
.diverged-no  { color: var(--text-muted); }