:root {
--bg: #0b0e14;
--panel: #131722;
--ink: #e6e9ef;
--dim: #8a93a6;
--line: #232a3a;
--accent: #5ad1a8;
--refused: #ff6b6b;
--unknown: #d9a441;
}
* { box-sizing: border-box; }
body {
margin: 0;
background: var(--bg);
color: var(--ink);
font: 15px/1.55 ui-sans-serif, system-ui, -apple-system, Segoe UI, sans-serif;
}
.mono { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; }
.dim { color: var(--dim); }
.small { font-size: 12px; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
.topbar {
display: flex;
align-items: center;
gap: 16px;
padding: 14px 24px;
border-bottom: 1px solid var(--line);
background: var(--panel);
}
.brand { font-weight: 700; font-size: 18px; }
.topbar .ver { color: var(--dim); font-size: 13px; }
.topbar nav { margin-left: auto; display: flex; gap: 18px; }
.main { max-width: 1100px; margin: 0 auto; padding: 32px 24px 64px; }
.foot { color: var(--dim); font-size: 12px; text-align: center; padding: 24px; border-top: 1px solid var(--line); }
h1 { font-size: 28px; margin: 0 0 8px; }
.lede { color: var(--dim); max-width: 70ch; }
.note { margin-top: 28px; padding: 14px 16px; border: 1px solid var(--line); border-radius: 10px; background: var(--panel); color: var(--dim); font-size: 13px; }
code { font-family: ui-monospace, monospace; color: var(--accent); font-size: 0.9em; }
.stats { display: flex; gap: 16px; margin: 28px 0; flex-wrap: wrap; }
.stat {
display: flex; flex-direction: column; gap: 4px;
padding: 18px 24px; min-width: 140px;
background: var(--panel); border: 1px solid var(--line); border-radius: 12px;
color: var(--ink);
}
.stat-n { font-size: 30px; font-weight: 700; color: var(--accent); }
.stat-l { color: var(--dim); font-size: 13px; }
.grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(320px, 1fr)); gap: 16px; margin-top: 20px; }
.card { background: var(--panel); border: 1px solid var(--line); border-radius: 12px; padding: 16px; }
.card-head { display: flex; align-items: center; justify-content: space-between; gap: 8px; margin-bottom: 10px; }
.card-head h3 { font-size: 14px; margin: 0; font-family: ui-monospace, monospace; word-break: break-all; }
.badge { font-size: 11px; font-weight: 700; padding: 2px 8px; border-radius: 999px; white-space: nowrap; }
.badge-admitted { background: rgba(90, 209, 168, 0.16); color: var(--accent); }
.badge-refused { background: rgba(255, 107, 107, 0.16); color: var(--refused); }
.badge-unknown { background: rgba(217, 164, 65, 0.16); color: var(--unknown); }
.kv { display: grid; grid-template-columns: auto 1fr; gap: 2px 12px; margin: 0 0 10px; font-size: 13px; }
.kv dt { color: var(--dim); }
.kv dd { margin: 0; word-break: break-word; }
.claims { margin: 8px 0 0; padding-left: 0; list-style: none; font-size: 12px; color: var(--dim); }
.claims li { padding: 4px 0; border-top: 1px solid var(--line); }
.claims b { color: var(--ink); margin-right: 6px; }
.src { margin: 10px 0 0; font-size: 11px; color: var(--dim); font-family: ui-monospace, monospace; }
.verbs { list-style: none; margin: 0; padding: 0; }
.verbs li { padding: 6px 0; border-top: 1px solid var(--line); display: flex; flex-direction: column; gap: 2px; }
.verbs li:first-child { border-top: none; }
.verbs code { color: var(--ink); font-size: 12px; }
.vdoc { color: var(--dim); font-size: 11px; }
.sub { font-size: 16px; margin: 24px 0 8px; color: var(--ink); }
.iters { color: var(--dim); font-size: 13px; }
.tbl { width: 100%; border-collapse: collapse; font-size: 13px; }
.tbl th { text-align: left; color: var(--dim); font-weight: 600; padding: 6px 10px; border-bottom: 1px solid var(--line); }
.tbl td { padding: 6px 10px; border-bottom: 1px solid var(--line); }
.st { white-space: nowrap; font-weight: 600; }
.st-covered { color: var(--accent); }
.st-server-class { color: var(--unknown); }
.st-gap { color: var(--refused); }
.runbar { display: flex; flex-wrap: wrap; gap: 10px; margin: 16px 0; }
.runbtn { background: var(--panel); color: var(--accent); border: 1px solid var(--line); border-radius: 8px; padding: 8px 14px; font-family: ui-monospace, monospace; font-size: 13px; cursor: pointer; }
.runbtn:hover:not(:disabled) { border-color: var(--accent); }
.runbtn:disabled { opacity: 0.5; cursor: progress; }
.running { color: var(--unknown); font-size: 13px; }
.runout { background: #06080d; border: 1px solid var(--line); border-radius: 10px; padding: 14px; margin-top: 12px; }
.runout.ok { border-left: 3px solid var(--accent); }
.runout.fail { border-left: 3px solid var(--refused); }
.runout-head { display: flex; justify-content: space-between; align-items: center; margin-bottom: 8px; }
.runout pre { margin: 0; white-space: pre-wrap; font-size: 12px; color: var(--ink); font-family: ui-monospace, monospace; }
.legend { display: flex; gap: 16px; margin: 12px 0; flex-wrap: wrap; }
.leg { display: flex; align-items: center; gap: 6px; font-size: 12px; color: var(--dim); }
.leg i { width: 12px; height: 12px; border-radius: 3px; display: inline-block; }
.svgwrap { overflow-x: auto; border: 1px solid var(--line); border-radius: 12px; background: var(--panel); padding: 8px; }
.svglabel { fill: var(--dim); font-size: 12px; font-weight: 600; }
.svgtext { fill: var(--ink); font-size: 11px; font-family: ui-monospace, monospace; }
.confform { display: flex; gap: 10px; margin: 16px 0; flex-wrap: wrap; }
.confinput { background: #06080d; color: var(--ink); border: 1px solid var(--line); border-radius: 8px; padding: 8px 12px; font-family: ui-monospace, monospace; font-size: 13px; min-width: 220px; }
.chips { display: inline-flex; flex-wrap: wrap; gap: 6px; }
.chip { font-size: 11px; padding: 2px 8px; border-radius: 999px; font-family: ui-monospace, monospace; }
.chip-admitted { background: rgba(90,209,168,.16); color: var(--accent); }
.chip-refused { background: rgba(255,107,107,.16); color: var(--refused); }
.chip-unknown { background: rgba(217,164,65,.16); color: var(--unknown); }