/* Layout: app shell — sticky header with search + four views; Browse = filter rail + result column; detail opens as a side sheet. */
:root{
  --bg:#F3F4F8; --surface:#FFFFFF; --sunk:#E9EBF2; --ink:#14182B; --muted:#596079; --line:#D9DCE6;
  --accent:#3340A8; --accent-ink:#FFFFFF; --accent-soft:#E3E6FA;
  --lean:#11775A; --lean-soft:#DDF2EA; --cond:#A86300; --cond-soft:#FBEBD3; --unf:#646B80; --unf-soft:#E7E9EF; --warn:#B4232C; --warn-soft:#F9E1E2;
  --shadow:0 12px 40px rgba(20,24,43,.16); --g-edge:#B3B8C8; --g-lean:#0E9F6E; --g-cond:#DB7C00; --g-unf:#939BB0; --g-other:#C5CAD6;
  --g-c1:#2a78d6; --g-c2:#eb6834; --g-c3:#1baf7a; --g-c4:#eda100; --g-c5:#e87ba4; --g-c6:#008300; --g-c7:#4a3aa7; --g-c8:#e34948;
  --f-display:"Instrument Serif", "Iowan Old Style", Georgia, serif;
  --f-body:"IBM Plex Sans", system-ui, -apple-system, "Segoe UI", sans-serif;
  --f-mono:"IBM Plex Mono", ui-monospace, "SF Mono", Menlo, monospace;
  --r:10px;
}
@media (prefers-color-scheme: dark){:root:not([data-theme="light"]){
  --bg:#0E1120; --surface:#161A2C; --sunk:#1D2236; --ink:#E6E8F2; --muted:#9BA1B9; --line:#2A3048;
  --accent:#9AA4FF; --accent-ink:#0E1120; --accent-soft:#252B4D;
  --lean:#45C99D; --lean-soft:#16362D; --cond:#F2AA44; --cond-soft:#3A2A12; --unf:#A2A8BE; --unf-soft:#252A3D; --warn:#FF7A82; --warn-soft:#3D1D22;
  --shadow:0 12px 40px rgba(0,0,0,.5); --g-edge:#4C5478; --g-lean:#28BD8A; --g-cond:#E89A2E; --g-unf:#8C93AC; --g-other:#4A5272;
  --g-c1:#3987e5; --g-c2:#d95926; --g-c3:#199e70; --g-c4:#c98500; --g-c5:#d55181; --g-c6:#008300; --g-c7:#9085e9; --g-c8:#e66767; color-scheme:dark}}
:root[data-theme="dark"]{
  --bg:#0E1120; --surface:#161A2C; --sunk:#1D2236; --ink:#E6E8F2; --muted:#9BA1B9; --line:#2A3048;
  --accent:#9AA4FF; --accent-ink:#0E1120; --accent-soft:#252B4D;
  --lean:#45C99D; --lean-soft:#16362D; --cond:#F2AA44; --cond-soft:#3A2A12; --unf:#A2A8BE; --unf-soft:#252A3D; --warn:#FF7A82; --warn-soft:#3D1D22;
  --shadow:0 12px 40px rgba(0,0,0,.5); --g-edge:#4C5478; --g-lean:#28BD8A; --g-cond:#E89A2E; --g-unf:#8C93AC; --g-other:#4A5272;
  --g-c1:#3987e5; --g-c2:#d95926; --g-c3:#199e70; --g-c4:#c98500; --g-c5:#d55181; --g-c6:#008300; --g-c7:#9085e9; --g-c8:#e66767; color-scheme:dark}

*{box-sizing:border-box}
html,body{height:100%}
body{background:var(--bg);color:var(--ink);font:15px/1.55 var(--f-body);-webkit-font-smoothing:antialiased}
button,input,select,textarea{font:inherit;color:inherit}
a{color:var(--accent)}
:focus-visible{outline:2px solid var(--accent);outline-offset:2px}
.mono{font-family:var(--f-mono);font-variant-numeric:tabular-nums}
.muted{color:var(--muted)}
.wrap{max-width:1320px;margin:0 auto;padding-inline:20px}

/* header */
header.top{position:sticky;top:env(safe-area-inset-top,0px);z-index:20;background:color-mix(in srgb,var(--bg) 88%,transparent);backdrop-filter:blur(10px);border-bottom:1px solid var(--line)}
.top .wrap{display:flex;align-items:center;gap:18px;padding-block:12px;flex-wrap:wrap}
.brand{text-decoration:none;color:inherit;display:flex;align-items:baseline;gap:10px;min-width:0}
.brand h1{font:400 28px/1 var(--f-display);margin:0;letter-spacing:-.01em;white-space:nowrap}
.brand h1 em{font-style:italic;color:var(--accent)}
.brand small{font-size:12px;color:var(--muted);white-space:nowrap}
.search{flex:1 1 320px;position:relative;min-width:0}
.search input{width:100%;padding:10px 14px 10px 38px;border:1px solid var(--line);border-radius:999px;background:var(--surface);outline:none}
.search input:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}
.search svg{position:absolute;left:13px;top:50%;transform:translateY(-50%);width:16px;height:16px;stroke:var(--muted)}
nav.tabs{display:flex;gap:4px;background:var(--sunk);padding:4px;border-radius:999px}
nav.tabs button{border:0;background:transparent;padding:7px 14px;border-radius:999px;cursor:pointer;font-weight:500;font-size:14px;color:var(--muted);white-space:nowrap}
nav.tabs button[aria-selected="true"]{background:var(--surface);color:var(--ink);box-shadow:0 1px 3px rgba(0,0,0,.08)}
.themebtn{flex:none;width:38px;height:38px;display:grid;place-items:center;border:1px solid var(--line);border-radius:999px;background:var(--surface);cursor:pointer;padding:0;color:var(--ink)}
.themebtn:hover{border-color:var(--muted)}
.themebtn svg{width:18px;height:18px;stroke:var(--ink)}
.themebtn .i-sun,.themebtn[aria-pressed="true"] .i-moon{display:none}
.themebtn[aria-pressed="true"] .i-sun{display:block!important}
.top .spacer{flex:1}
.acctbtn{flex:none;height:38px;min-width:38px;padding:0 14px;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--ink);font-size:13.5px;font-weight:500;cursor:pointer;white-space:nowrap}
.acctbtn:hover{border-color:var(--muted)}
.acctbtn.in{padding:0;width:38px;background:var(--accent);border-color:var(--accent);color:var(--accent-ink);font-weight:600}
.acctbtn[hidden]{display:none}
.acct .acctlist{margin:0 0 16px;padding-left:1.2em;font-size:14px;display:flex;flex-direction:column;gap:6px}
.acct .providers{display:flex;flex-direction:column;gap:8px}
.acct .provider{justify-content:center;padding:10px 14px;font-size:14px}
.btn.danger{color:var(--warn);border-color:color-mix(in srgb,var(--warn) 40%,var(--line))}
.btn.danger:hover{background:var(--warn-soft);border-color:var(--warn)}
.storehelp{margin-top:12px;font-size:12.5px;color:var(--muted);border-top:1px solid var(--line);padding-top:10px}
.storehelp summary{cursor:pointer;color:var(--accent);font-weight:500}
.storehelp p{margin:6px 0 0}
.savenote{font-size:12.5px;margin:6px 4px 0;color:var(--muted)}
.savenote.guest{color:var(--cond)}
.linkbtn{border:0;background:none;padding:0;color:var(--accent);font-weight:500;cursor:pointer;text-decoration:underline;text-underline-offset:2px}
.history{display:flex;flex-direction:column;gap:2px;max-height:280px;overflow:auto;margin:0 -6px}
.hrow{display:flex;align-items:center;border-radius:8px}
.hrow:hover,.hrow.on{background:var(--sunk)}
.hopen{flex:1;min-width:0;display:flex;gap:8px;align-items:baseline;border:0;background:none;padding:6px;cursor:pointer;text-align:left;font-size:13px}
.hopen span{flex:1;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.hopen small{color:var(--muted);font-size:11.5px;white-space:nowrap}
.hdel{border:0;background:none;color:var(--muted);cursor:pointer;font-size:16px;line-height:1;padding:4px 8px;visibility:hidden}
.hrow:hover .hdel,.hrow.on .hdel,.hdel:focus-visible{visibility:visible}
@media (hover:none){.hdel{visibility:visible}}
@media (max-width:720px){.brand small{display:none}.top .wrap{gap:10px}.acctbtn{order:1;margin-left:auto}.themebtn{order:1;margin-left:auto}.acctbtn:not([hidden])+.themebtn{margin-left:0}.search{order:2;flex-basis:100%}nav.tabs{width:100%;justify-content:space-between;order:3}nav.tabs button{flex:1;padding:7px 6px}}

main{padding-block:20px 60px}
.view[hidden]{display:none!important}

/* pills */
.pill{display:inline-flex;align-items:center;gap:5px;font-size:12px;font-weight:500;padding:2px 9px 2px 8px;border-radius:999px;white-space:nowrap;line-height:1.6}
.pill::before{content:"";width:7px;height:7px;border-radius:50%;background:currentColor}
.pill.lean{background:var(--lean-soft);color:var(--lean)}
.pill.conditional{background:var(--cond-soft);color:var(--cond)}
.pill.unformalized{background:var(--unf-soft);color:var(--unf)}
.pill.warn{background:var(--warn-soft);color:var(--warn)}
.pill.plain{background:var(--sunk);color:var(--muted)}
.pill.plain::before{display:none}
.tag{display:inline-block;font-size:12px;padding:1px 8px;border-radius:6px;background:var(--sunk);color:var(--muted);white-space:nowrap}

/* KPI strip */
.kpis{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:1px;background:var(--line);border:1px solid var(--line);border-radius:var(--r);overflow:hidden;margin-bottom:20px}
.kpi{background:var(--surface);padding:12px 14px;min-width:0}
.kpi b{display:block;font:400 30px/1.05 var(--f-display);font-variant-numeric:tabular-nums}
.kpi span{font-size:12px;color:var(--muted)}
.kpi.lean b{color:var(--lean)}.kpi.cond b{color:var(--cond)}
@media (max-width:900px){.kpis{grid-template-columns:repeat(3,minmax(0,1fr))}}

/* browse */
.browse{display:grid;grid-template-columns:270px minmax(0,1fr);gap:24px;align-items:start}
aside.filters{position:sticky;top:84px;max-height:calc(100vh - 100px);overflow:auto;padding-right:4px;display:flex;flex-direction:column;gap:18px}
.fgroup h3{font-size:11px;text-transform:uppercase;letter-spacing:.09em;color:var(--muted);margin:0 0 8px;font-weight:600;display:flex;justify-content:space-between}
.fgroup h3 button{border:0;background:none;color:var(--accent);font-size:11px;cursor:pointer;text-transform:none;letter-spacing:0;padding:0}
.chips{display:flex;flex-wrap:wrap;gap:6px}
.chip{border:1px solid var(--line);background:var(--surface);border-radius:999px;padding:4px 11px;font-size:13px;cursor:pointer;display:inline-flex;gap:6px;align-items:center}
.chip .n{color:var(--muted);font-size:12px;font-variant-numeric:tabular-nums}
.chip[aria-pressed="true"]{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}
.chip[aria-pressed="true"] .n{color:inherit;opacity:.8}
.disc{display:flex;flex-direction:column;gap:2px}
.disc button{display:grid;grid-template-columns:minmax(0,1fr) auto;grid-template-rows:auto 5px;gap:3px 8px;text-align:left;border:0;background:transparent;padding:6px 8px;border-radius:8px;cursor:pointer;font-size:13px}
.disc button:hover{background:var(--sunk)}
.disc button[aria-pressed="true"]{background:var(--accent-soft)}
.disc .name{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.disc .cnt{color:var(--muted);font-size:12px;font-variant-numeric:tabular-nums}
.disc .bar{grid-column:1/-1;display:flex;height:5px;border-radius:3px;overflow:hidden;background:var(--sunk)}
.bar i{display:block;height:100%}
.bar .l{background:var(--lean)}.bar .c{background:var(--cond)}.bar .u{background:var(--unf);opacity:.45}
.checks label{display:flex;gap:8px;align-items:flex-start;font-size:13px;padding:3px 0;cursor:pointer}
.checks input{margin-top:3px;accent-color:var(--accent)}
.filtertoggle{display:none}
@media (max-width:900px){
  .browse{grid-template-columns:minmax(0,1fr)}
  aside.filters{position:static;max-height:none;display:none;background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:14px}
  aside.filters.open{display:flex}
  .filtertoggle{display:inline-flex}
}

.resultbar{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-bottom:12px}
.resultbar .count{font-size:14px}
.resultbar .count b{font-variant-numeric:tabular-nums}
.resultbar .spacer{flex:1}
.seg{display:inline-flex;border:1px solid var(--line);border-radius:8px;overflow:hidden}
.seg button{border:0;background:var(--surface);padding:5px 11px;font-size:13px;cursor:pointer;color:var(--muted)}
.seg button[aria-pressed="true"]{background:var(--ink);color:var(--bg)}
select.sel{border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:5px 8px;font-size:13px}
.btn{border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:7px 13px;font-size:13px;font-weight:500;cursor:pointer;display:inline-flex;gap:6px;align-items:center;text-decoration:none;color:var(--ink)}
.btn:hover{border-color:var(--muted)}
.btn.primary{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}
.btn.ghost{border-color:transparent;background:transparent;color:var(--accent);padding-inline:6px}
.btn:disabled{opacity:.5;cursor:not-allowed}

.results{display:flex;flex-direction:column;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);overflow:hidden}
.item{display:grid;grid-template-columns:52px minmax(0,1fr);gap:4px 14px;padding:14px 16px;border-top:1px solid var(--line);cursor:pointer;text-align:left;background:transparent;border-left:0;border-right:0;border-bottom:0;width:100%}
.item:first-child{border-top:0}
.item:hover{background:color-mix(in srgb,var(--accent-soft) 45%,transparent)}
.item .fid{font:500 13px var(--f-mono);color:var(--muted);padding-top:3px}
.item .ttl{font-weight:600;font-size:15.5px;line-height:1.35;text-wrap:balance}
.item .meta{grid-column:2;display:flex;flex-wrap:wrap;gap:6px 10px;align-items:center;font-size:12.5px;color:var(--muted)}
.item .snip{grid-column:2;font-size:13.5px;color:var(--muted);display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}
.item .links{display:inline-flex;gap:8px}
.more{padding:14px;text-align:center;border-top:1px solid var(--line)}
.empty{padding:40px 20px;text-align:center;color:var(--muted)}

/* drawer */
.scrim{position:fixed;inset:0;background:rgba(10,12,24,.35);z-index:40}
.drawer{position:fixed;top:0;right:0;bottom:0;width:min(720px,100%);background:var(--surface);z-index:41;box-shadow:var(--shadow);display:flex;flex-direction:column;padding-top:env(safe-area-inset-top,0px)}
.drawer .dhead{display:flex;align-items:center;gap:8px;padding:10px 14px;border-bottom:1px solid var(--line)}
.drawer .dhead .crumb{flex:1;font-size:13px;color:var(--muted);min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.drawer .dbody{overflow:auto;padding:22px 26px 60px;flex:1}
.iconbtn{border:0;background:transparent;width:34px;height:34px;border-radius:8px;cursor:pointer;display:grid;place-items:center;color:var(--muted)}
.iconbtn:hover{background:var(--sunk);color:var(--ink)}
.dtitle{font:400 32px/1.12 var(--f-display);margin:6px 0 12px;text-wrap:balance}
.dmeta{display:flex;flex-wrap:wrap;gap:8px;align-items:center;margin-bottom:16px}
.actions{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:20px}
.section{border-top:1px solid var(--line);padding-top:16px;margin-top:20px}
.section h4{font-size:11px;text-transform:uppercase;letter-spacing:.09em;color:var(--muted);margin:0 0 10px;font-weight:600}
.prose{max-width:68ch}
.prose p{margin:0 0 .8em}
.note{background:var(--sunk);border-radius:8px;padding:12px 14px;font-size:13.5px}
.note.cond{background:var(--cond-soft)}
.note.lean{background:var(--lean-soft)}
.note.warn{background:var(--warn-soft)}
.deplist{display:flex;flex-direction:column;gap:2px}
.dep{display:flex;gap:10px;align-items:baseline;padding:6px 8px;border-radius:8px;cursor:pointer;border:0;background:transparent;text-align:left;width:100%}
.dep:hover{background:var(--sunk)}
.dep .fid{font:12px var(--f-mono);color:var(--muted);flex:none}
.dep .t{flex:1;min-width:0;font-size:14px}
.dep .k{font-size:11px;color:var(--muted);flex:none}
.chain{display:flex;gap:6px;flex-wrap:wrap;align-items:center;margin-bottom:10px}
details summary{cursor:pointer;color:var(--accent);font-size:13.5px}
details pre{white-space:pre-wrap;font:12.5px/1.5 var(--f-mono);background:var(--sunk);padding:12px;border-radius:8px;max-height:320px;overflow:auto}
table.cmp{border-collapse:collapse;font-size:13px;width:100%}
table.cmp td{border-top:1px solid var(--line);padding:6px 8px 6px 0;vertical-align:top}
.tablewrap{overflow-x:auto}

/* graph */
.gwrap{display:grid;grid-template-columns:minmax(0,1fr) 300px;gap:16px}
.gcanvas{position:relative;height:min(74vh,760px);min-height:420px;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);overflow:hidden;touch-action:none}
.gcanvas canvas{display:block;width:100%;height:100%;cursor:grab}
.gcanvas .gtools{position:absolute;left:10px;top:10px;display:flex;gap:6px;flex-wrap:wrap;right:10px;pointer-events:none}
.gcanvas .gtools>*{pointer-events:auto}
.gcanvas .zoom{position:absolute;right:10px;bottom:10px;display:flex;flex-direction:column;gap:4px}
.gcanvas .zoom button{width:32px;height:32px;border:1px solid var(--line);background:var(--surface);border-radius:8px;cursor:pointer;font-size:16px}
.gcanvas .gstatus{position:absolute;left:12px;bottom:10px;font-size:12px;color:var(--muted)}
.tip{position:absolute;pointer-events:none;background:var(--ink);color:var(--bg);font-size:12.5px;padding:6px 9px;border-radius:6px;max-width:300px;z-index:3}
.gside{display:flex;flex-direction:column;gap:14px;min-width:0}
.card{border:1px solid var(--line);background:var(--surface);border-radius:var(--r);padding:14px 16px}
.card h4{font-size:11px;text-transform:uppercase;letter-spacing:.09em;color:var(--muted);margin:0 0 10px;font-weight:600}
.legend{display:flex;flex-direction:column;gap:6px;font-size:13px}
.legend .sw{display:inline-block;width:10px;height:10px;border-radius:50%;margin-right:8px;vertical-align:-1px}
.legend .ln{display:inline-block;width:22px;height:0;border-top:2px solid var(--g-edge);margin-right:8px;vertical-align:3px}
.legend .ln.d{border-top-style:dashed;opacity:.7}
.legend button.lg{display:flex;align-items:center;width:100%;border:0;background:none;padding:3px 6px;margin:-3px -6px;border-radius:6px;cursor:pointer;text-align:left;font-size:13px}
.legend button.lg:hover{background:var(--sunk)}
.legend button.lg[aria-pressed="true"]{background:var(--accent-soft);font-weight:500}
.legend button.lg .n{margin-left:auto;color:var(--muted);font-size:12px;font-variant-numeric:tabular-nums}
.legend .hint{font-size:12px;color:var(--muted)}
.ginput{border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:5px 10px;font-size:13px;width:200px;max-width:100%}
@media (max-width:900px){.gwrap{grid-template-columns:minmax(0,1fr)}}

/* tracker */
.tgrid{display:grid;grid-template-columns:minmax(0,1fr) 320px;gap:20px;align-items:start}
@media (max-width:900px){.tgrid{grid-template-columns:minmax(0,1fr)}}
.intro{max-width:72ch;margin-bottom:18px}
.intro h2{font:400 34px/1.1 var(--f-display);margin:0 0 8px}
.report{border-top:1px solid var(--line);padding:14px 16px;display:flex;flex-direction:column;gap:6px}
.report:first-child{border-top:0}
.report .rh{display:flex;gap:8px;flex-wrap:wrap;align-items:center}
.report .rt{font-weight:600}
.report .rb{font-size:14px;white-space:pre-wrap;overflow-wrap:anywhere}
.report .rf{font-size:12.5px;color:var(--muted);display:flex;gap:10px;flex-wrap:wrap;align-items:center}
.stype{font:500 11px var(--f-mono);text-transform:uppercase;letter-spacing:.06em;padding:2px 7px;border-radius:5px;background:var(--sunk);color:var(--muted)}
.stype.erratum,.stype.gap{background:var(--warn-soft);color:var(--warn)}
.stype.confirmation{background:var(--lean-soft);color:var(--lean)}
.st-open{color:var(--warn)}.st-acknowledged{color:var(--cond)}.st-fixed{color:var(--lean)}
form.f{display:flex;flex-direction:column;gap:12px}
form.f label{display:flex;flex-direction:column;gap:4px;font-size:13px;font-weight:500}
form.f input,form.f select,form.f textarea{border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:8px 10px;font-weight:400}
form.f textarea{min-height:120px;resize:vertical}
.picker{position:relative}
.picker .opts{position:absolute;left:0;right:0;top:100%;background:var(--surface);border:1px solid var(--line);border-radius:8px;box-shadow:var(--shadow);z-index:5;max-height:260px;overflow:auto}
.picker .opts button{display:block;width:100%;text-align:left;border:0;background:transparent;padding:8px 10px;font-size:13px;cursor:pointer;border-top:1px solid var(--line)}
.picker .opts button:hover{background:var(--sunk)}
.modal{position:fixed;inset:0;z-index:50;display:grid;place-items:center;padding:16px;background:rgba(10,12,24,.4)}
.modal .box{background:var(--surface);border-radius:14px;box-shadow:var(--shadow);width:min(560px,100%);max-height:92vh;overflow:auto;padding:22px}
.modal h3{font:400 26px/1.1 var(--f-display);margin:0 0 6px}

/* chat */
.chat{display:grid;grid-template-columns:minmax(0,1fr) 300px;gap:20px;align-items:start}
@media (max-width:900px){.chat{grid-template-columns:minmax(0,1fr)}}
.log{display:flex;flex-direction:column;gap:14px;min-height:320px}
.msg{max-width:78ch}
.msg.user{align-self:flex-end;background:var(--accent);color:var(--accent-ink);padding:10px 14px;border-radius:14px 14px 4px 14px}
.msg.bot{background:var(--surface);border:1px solid var(--line);padding:14px 18px;border-radius:14px 14px 14px 4px;min-width:0}
.msg.bot p{margin:0 0 .7em}.msg.bot p:last-child{margin-bottom:0}
.msg.bot ul,.msg.bot ol{margin:0 0 .7em;padding-left:1.3em}
.msg.bot h5{font-size:14px;margin:.6em 0 .3em}
.msg.bot code{font:13px var(--f-mono);background:var(--sunk);padding:1px 4px;border-radius:4px}
.ref{border:0;background:var(--accent-soft);color:var(--accent);font:500 12px var(--f-mono);padding:1px 6px;border-radius:5px;cursor:pointer;vertical-align:1px}
.msg .status{font-size:12.5px;color:var(--muted);margin-top:8px}
.composer{position:sticky;bottom:0;padding-block:12px calc(12px + env(safe-area-inset-bottom,0px));background:linear-gradient(transparent,var(--bg) 30%)}
.composer form{display:flex;gap:8px;background:var(--surface);border:1px solid var(--line);border-radius:14px;padding:8px}
.composer textarea{flex:1;border:0;outline:none;background:transparent;resize:none;min-height:44px;max-height:160px;padding:6px 8px}
.suggest{display:flex;flex-direction:column;gap:8px}
.suggest button{text-align:left;border:1px solid var(--line);background:var(--surface);border-radius:10px;padding:10px 12px;font-size:13.5px;cursor:pointer}
.suggest button:hover{border-color:var(--accent)}
.suggest button small{display:block;font-size:11px;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:2px}
.hello{padding:26px 0 8px}
.hello h2{font:400 40px/1.05 var(--f-display);margin:0 0 10px;text-wrap:balance}
.hello p{max-width:62ch;color:var(--muted);margin:0}
.loading{padding:60px 20px;text-align:center;color:var(--muted)}
.toast{position:fixed;left:50%;bottom:calc(20px + env(safe-area-inset-bottom,0px));transform:translateX(-50%);background:var(--ink);color:var(--bg);padding:9px 16px;border-radius:999px;font-size:13.5px;z-index:60}
span.tx{font-family:"STIX Two Math","Cambria Math",var(--f-display),serif;font-style:italic}
mjx-container{max-width:100%;overflow-x:auto;overflow-y:hidden}
@media (prefers-reduced-motion:no-preference){.drawer{animation:slide .22s ease-out}@keyframes slide{from{transform:translateX(30px);opacity:.4}}}

/* additions for the GitHub Pages build */
.item .fid{display:flex;flex-direction:column;align-items:flex-start;gap:6px}
.star{font-size:17px;line-height:1;color:var(--muted);cursor:pointer;border-radius:4px;padding:1px 2px}
.star:hover,.star[aria-pressed="true"]{color:var(--cond)}
#savedbtn[aria-pressed="true"]{background:var(--cond-soft);border-color:var(--cond);color:var(--cond)}
.btn[data-save][aria-pressed="true"]{color:var(--cond);border-color:var(--cond)}
.sources{display:flex;flex-wrap:wrap;gap:5px;align-items:center;margin-top:12px;padding-top:10px;border-top:1px dashed var(--line)}
.sources span{font-size:11px;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-right:4px}
.progress{height:6px;border-radius:3px;background:var(--sunk);overflow:hidden}
.progress i{display:block;height:100%;background:var(--accent);transition:width .3s}
.report a.rt{color:var(--ink);text-decoration:none}
.report a.rt:hover{text-decoration:underline}
.foot{display:flex;flex-wrap:wrap;gap:8px 20px;justify-content:space-between;padding-block:18px 28px;border-top:1px solid var(--line);font-size:12.5px;color:var(--muted)}
.foot a{color:var(--muted)}