:root{--fg:#1b1b1f;--muted:#5a5a66;--bg:#fff;--card:#f7f7fa;--line:#e3e3ea;--accent:#3b5bdb;--mono:'SFMono-Regular',Consolas,'Liberation Mono',Menlo,monospace}
*{box-sizing:border-box}body{margin:0;font:15px/1.55 -apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif;color:var(--fg);background:var(--bg)}
a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}
header{position:sticky;top:0;background:var(--bg);border-bottom:1px solid var(--line);padding:14px 22px;display:flex;align-items:center;gap:16px;flex-wrap:wrap;z-index:5}
header h1{font-size:18px;margin:0}header h1 a{color:var(--fg)}
.layout{display:flex;align-items:flex-start}
nav.side{position:sticky;top:57px;align-self:flex-start;min-width:220px;max-height:calc(100vh - 57px);overflow:auto;padding:18px 14px;border-right:1px solid var(--line);font-size:14px}
nav.side a{display:block;padding:2px 6px;border-radius:5px;color:var(--muted)}nav.side a:hover{background:var(--card);color:var(--fg);text-decoration:none}
nav.side .grp{font-weight:600;color:var(--fg);margin-top:10px}
main{flex:1;min-width:0;padding:24px 30px;max-width:980px}
#q{flex:1;min-width:180px;padding:7px 11px;border:1px solid var(--line);border-radius:7px;font-size:14px}
.module{margin:0 0 30px}.module h2{font-size:20px;margin:26px 0 4px;padding-top:6px;border-top:2px solid var(--line)}
.modpath{font-family:var(--mono);font-size:12px;color:var(--muted)}
.mdoc{color:var(--muted);white-space:pre-wrap;margin:8px 0 14px}
.decl{background:var(--card);border:1px solid var(--line);border-radius:9px;padding:12px 14px;margin:10px 0}
.decl .hd{display:flex;gap:9px;align-items:baseline;flex-wrap:wrap}
.kind{font-family:var(--mono);font-size:11px;text-transform:uppercase;letter-spacing:.04em;padding:2px 7px;border-radius:5px;background:#e7ecff;color:#2c3e9e}
.kind.axiom{background:#ffe9e0;color:#a8410f}.kind.theorem,.kind.lemma{background:#e3f5e8;color:#1b7a3d}.kind.structure,.kind.inductive,.kind.class{background:#f3e8ff;color:#6b29b8}
.decl .nm{font-family:var(--mono);font-weight:600;font-size:15px}
.decl pre{font-family:var(--mono);font-size:13px;background:#fff;border:1px solid var(--line);border-radius:6px;padding:8px 10px;overflow:auto;margin:8px 0 0}
.decl .doc{white-space:pre-wrap;color:#333;margin-top:8px}
.count{color:var(--muted);font-size:12px;font-weight:400}
footer{color:var(--muted);font-size:12px;padding:30px;border-top:1px solid var(--line)}
.hidden{display:none}