:root { --ink:#1b1b1b; --muted:#666; --line:#ddd; --bg:#fff; --soft:#f6f6f4; --sup:#1e7d46; --lsup:#5f9e5a; --unc:#8a7a1e; --lref:#b86a2a; --ref:#a8322d; --ins:#5a6a7a; --refd:#444; }
* { box-sizing:border-box; }
body { margin:0; font:16px/1.5 Georgia, "Times New Roman", serif; color:var(--ink); background:var(--bg); }
code, pre, .num, .meta { font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace; font-size:0.92em; }
header.site, footer.site { padding:0.8rem 1.2rem; border-bottom:1px solid var(--line); display:flex; gap:1.5rem; align-items:baseline; flex-wrap:wrap; }
footer.site { border-top:1px solid var(--line); border-bottom:0; display:block; color:var(--muted); font-size:0.9rem; margin-top:3rem; }
.brand { font-weight:bold; font-size:1.2rem; text-decoration:none; color:var(--ink); }
nav a { margin-right:1rem; color:var(--ink); }
main { max-width:1180px; margin:0 auto; padding:1rem 1.2rem; }
h1 { font-size:1.7rem; line-height:1.25; } h2 { font-size:1.25rem; margin-top:2rem; } h3 { font-size:1.05rem; margin-top:1.5rem; } h4 { font-size:0.95rem; margin:0.8rem 0 0.3rem; }
a { color:#0b4f8a; }
.small { font-size:0.85rem; color:var(--muted); }
.hero p { max-width:70ch; }
table.list { border-collapse:collapse; width:100%; margin:0.6rem 0 1rem; font-size:0.9rem; }
table.list th, table.list td { border-bottom:1px solid var(--line); padding:0.35rem 0.5rem; text-align:left; vertical-align:top; }
table.list th { background:var(--soft); font-weight:600; }
table.list .num { text-align:right; white-space:nowrap; }
table.evidence td:nth-child(2) { max-width:26rem; }
tr.excluded td { color:var(--muted); text-decoration:line-through; }
tr.excluded td .small { text-decoration:none; }
tr.public td { background:#fbf7e8; }
.label { display:inline-block; padding:0.05rem 0.45rem; border-radius:3px; color:#fff; font-size:0.8rem; white-space:nowrap; }
.label.sup { background:var(--sup);} .label.lsup { background:var(--lsup);} .label.unc { background:var(--unc);} .label.lref { background:var(--lref);} .label.ref { background:var(--ref);} .label.ins { background:var(--ins);} .label.refd { background:var(--refd);}
.tag { font-size:0.72rem; color:var(--muted); border:1px solid var(--line); padding:0 0.3rem; border-radius:3px; }
.flag { font-size:0.75rem; color:var(--lref); }
.warn { color:var(--ref); }
.verdict { border-left:6px solid var(--muted); padding:0.6rem 1rem; background:var(--soft); margin:1rem 0; }
.verdict h2 { margin:0 0 0.4rem; font-size:1.5rem; } .verdict .p { font-weight:normal; color:var(--muted); font-size:1.1rem; margin-left:0.6rem; }
.verdict.sup { border-color:var(--sup);} .verdict.lsup { border-color:var(--lsup);} .verdict.unc { border-color:var(--unc);} .verdict.lref { border-color:var(--lref);} .verdict.ref { border-color:var(--ref);} .verdict.ins { border-color:var(--ins);} .verdict.refd { border-color:var(--refd);}
.meta { color:var(--muted); font-size:0.82rem; }
.crumb { font-size:0.85rem; color:var(--muted); }
.bars { margin:0.5rem 0 1rem; }
.bar-row { display:flex; align-items:center; gap:0.6rem; margin:0.25rem 0; font-size:0.85rem; }
.bar-name { width:12rem; text-align:right; font-family:ui-monospace, monospace; }
.bar { position:relative; flex:1; height:0.9rem; background:#eee; border-radius:2px; overflow:visible; }
.bar .fill { position:absolute; left:0; top:0; bottom:0; border-radius:2px; background:var(--muted); }
.bar .fill.sup { background:var(--sup);} .bar .fill.lsup { background:var(--lsup);} .bar .fill.unc { background:var(--unc);} .bar .fill.lref { background:var(--lref);} .bar .fill.ref { background:var(--ref);} .bar .fill.ins { background:var(--ins);}
.bar .cold { position:absolute; top:-0.25rem; bottom:-0.25rem; width:2px; background:var(--ink); }
.bar-val { width:3.5rem; font-family:ui-monospace, monospace; }
.strict { background:#fbf7e8; padding:0.6rem 1rem; border-left:6px solid var(--unc); }
details { margin:0.6rem 0; } summary { cursor:pointer; }
pre { background:var(--soft); padding:0.8rem; overflow-x:auto; font-size:0.85rem; }
pre.arith { font-size:0.9rem; }
article.doc { max-width:80ch; } article.doc table { border-collapse:collapse; font-size:0.9rem; } article.doc th, article.doc td { border:1px solid var(--line); padding:0.3rem 0.5rem; }
del.retracted { color:var(--ref); }
@media (max-width: 720px) { .bar-name { width:7rem; } main { padding:0.6rem; } table.list { font-size:0.8rem; } }