:root { --warn-soft: var(--sun-soft); }
* { box-sizing: border-box; }
html, body { height: 100%; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 14px/1.5 var(--font); display: flex; flex-direction: column; }
button, input, select, textarea { font: inherit; color: inherit; }
button { cursor: pointer; }
:focus-visible { outline: 3px solid color-mix(in srgb, var(--accent) 40%, transparent); outline-offset: 1px; }
a { color: var(--accent); }

.top { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; padding: 8px 14px; background: var(--panel); border-bottom: 1px solid var(--line); }
.brand { font-weight: 700; margin-right: 6px; }
.brand small { font-weight: 400; color: var(--muted); margin-left: 6px; }
a.brand { color: inherit; text-decoration: none; margin-right: 0; }
.brand-sub { color: var(--muted); font-size: 13px; margin-right: 6px; }
.ext2 { font-size: 13px; }
.top select, .top input { border: 1px solid var(--line); background: var(--bg); border-radius: 8px; padding: 5px 8px; }
.top input { width: min(260px, 40vw); }
#tabs { display: flex; gap: 2px; background: var(--soft); border-radius: 9px; padding: 2px; }
#tabs button, .seg button { border: 0; background: transparent; padding: 4px 11px; border-radius: 7px; }
#tabs button.on, .seg button.on { background: var(--panel); box-shadow: 0 1px 2px rgba(0,0,0,.12); font-weight: 600; }
#fbcount { display: inline-block; min-width: 1.4em; padding: 0 4px; border-radius: 9px; background: var(--accent-soft); color: var(--accent); font-size: 12px; }
.ext { margin-left: auto; font-size: 13px; }

.ws { flex: 1; min-height: 0; display: grid; grid-template-columns: 290px minmax(0, 1fr) 400px; }
#nav, #detail { overflow: auto; background: var(--panel); }
#nav { border-right: 1px solid var(--line); padding: 8px 0; }
#detail { border-left: 1px solid var(--line); padding: 14px 16px 40px; }
#center { display: flex; flex-direction: column; min-width: 0; min-height: 0; }
@media (max-width: 1150px) { .ws { grid-template-columns: 260px minmax(0, 1fr); } #detail { grid-column: 1 / -1; border-left: 0; border-top: 1px solid var(--line); max-height: none; } .ws { overflow: auto; } }
@media (max-width: 720px) { .ws { display: block; } #nav { max-height: 40vh; border-right: 0; border-bottom: 1px solid var(--line); } #center { min-height: 70vh; } .ext { margin-left: 0; } }

/* nav */
.nav-tools { display: flex; gap: 6px; padding: 4px 12px 8px; flex-wrap: wrap; }
.nav-tools select { border: 1px solid var(--line); background: var(--bg); border-radius: 7px; padding: 3px 6px; font-size: 13px; }
.sec { padding: 6px 12px 2px; font-size: 12px; font-weight: 700; color: var(--muted); letter-spacing: .05em; }
details.unit > summary { padding: 3px 12px; cursor: pointer; font-size: 13px; color: var(--muted); list-style: none; display: flex; gap: 6px; }
details.unit > summary::before { content: '▸'; } details.unit[open] > summary::before { content: '▾'; }
details.unit > summary span.u { flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.row { display: flex; gap: 7px; align-items: center; width: 100%; text-align: left; border: 0; background: none; padding: 3px 12px 3px 22px; font-size: 13px; }
.row:hover { background: var(--soft); }
.row.sel { background: var(--accent-soft); }
.row .lbl { flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.row .n { color: var(--muted); font-size: 12px; }
.dot { width: 9px; height: 9px; border-radius: 50%; flex: none; background: var(--c-spec); }
.dot.block { background: var(--c-block); } .dot.impl { background: var(--c-impl); } .dot.borrow { background: var(--c-borrow); }
.fbmark { font-size: 11px; }

/* center */
.center-head { display: flex; gap: 12px; align-items: center; padding: 8px 14px; flex-wrap: wrap; }
.seg { display: flex; gap: 2px; background: var(--soft); border-radius: 9px; padding: 2px; }
#legend { display: flex; gap: 12px; flex-wrap: wrap; font-size: 12px; color: var(--muted); }
#legend span { display: inline-flex; gap: 5px; align-items: center; }
#strip { display: flex; gap: 3px; padding: 20px 14px 10px; overflow-x: auto; align-items: flex-end; flex: none; }
.su { display: flex; flex-direction: column-reverse; flex-wrap: wrap; align-content: flex-start; max-height: 70px; gap: 2px; padding: 2px; border-radius: 4px; }
.su.cur { background: var(--accent-soft); }
.su button { width: 9px; height: 9px; padding: 0; border: 0; border-radius: 2px; background: var(--c-spec); }
.su button.block { background: var(--c-block); } .su button.impl { background: var(--c-impl); } .su button.borrow { background: var(--c-borrow); }
.su button.sel { outline: 2px solid var(--ink); outline-offset: 1px; }
.su-sec { width: 1px; background: var(--line); align-self: stretch; margin: 0 4px; position: relative; }
.su-sec b { position: absolute; top: -17px; left: 3px; white-space: nowrap; font-size: 10px; color: var(--muted); font-weight: 600; }
#graphwrap { flex: 1; min-height: 0; overflow: auto; padding: 0 8px 8px; }
#graph { display: block; margin: 0 auto; }
#graph .edge { fill: none; stroke: var(--line); stroke-width: 1.6; }
#graph .edge.req { stroke: var(--muted); }
#graph .edge.use { stroke-dasharray: 4 3; }
#graph .node rect { fill: var(--panel); stroke: var(--line); stroke-width: 1.4; }
#graph .node { cursor: pointer; }
#graph .node:hover rect { stroke: var(--accent); }
#graph .node text { fill: var(--ink); font-size: 12px; }
#graph .node .sub { fill: var(--muted); font-size: 10.5px; }
#graph .node.center rect { stroke: var(--accent); stroke-width: 2.5; }
#graph .node .bar { stroke: none; }
#graph .bar.block { fill: var(--c-block); } #graph .bar.impl { fill: var(--c-impl); } #graph .bar.borrow { fill: var(--c-borrow); } #graph .bar.spec { fill: var(--c-spec); }
#graph .node.prim rect { fill: var(--soft); rx: 18; }
#graph .node.prim.spec rect { stroke-dasharray: 5 3; }
#graph .node.art rect { fill: var(--accent-soft); stroke: var(--c-block); }
#graph .node.art.asset rect { stroke: var(--c-impl); fill: var(--soft); }
#graph .lane { fill: var(--muted); font-size: 11px; font-weight: 600; letter-spacing: .05em; }
#stage { flex: 1; min-height: 0; display: flex; flex-direction: column; padding: 0 14px 10px; gap: 8px; }
#stage[hidden] { display: none; }
.stage-bar { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.stage-bar b { font-size: 15px; }
#stage iframe { flex: 1; min-height: 420px; width: 100%; border: 1px solid var(--line); border-radius: 10px; background: #fff; }
.live { max-height: 140px; overflow: auto; font: 12px/1.45 ui-monospace, Menlo, monospace; background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 6px 10px; }
.live .sum { font-family: var(--font); color: var(--muted); margin-bottom: 4px; }

/* detail */
#detail h2 { margin: 0 0 2px; font-size: 18px; }
#detail h3 { margin: 18px 0 6px; font-size: 13px; color: var(--muted); letter-spacing: .04em; }
.meta { color: var(--muted); font-size: 12px; }
.meta code { font-size: 11px; }
.desc { margin: 8px 0; }
.card { border: 1px solid var(--line); border-radius: 10px; padding: 8px 10px; margin: 6px 0; background: var(--bg); }
.card .hd { display: flex; gap: 6px; align-items: center; flex-wrap: wrap; }
.card .hd .name { font-weight: 600; cursor: pointer; }
.card .hd .name:hover { text-decoration: underline; }
.pill { font-size: 11px; padding: 0 7px; border-radius: 9px; background: var(--soft); color: var(--muted); white-space: nowrap; }
.pill.primary { background: var(--accent-soft); color: var(--accent); }
.pill.block { background: color-mix(in srgb, var(--c-block) 18%, transparent); color: var(--c-block); }
.pill.impl { background: color-mix(in srgb, var(--c-impl) 18%, transparent); color: var(--c-impl); }
.pill.borrow { background: color-mix(in srgb, var(--c-borrow) 20%, transparent); color: var(--c-borrow); }
.binding { font-size: 13px; margin: 4px 0 0; }
.btn { border: 1px solid var(--line); background: var(--panel); border-radius: 999px; padding: 2px 10px; font-size: 12px; }
.btn.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
ul.tight { margin: 4px 0; padding-left: 18px; } ul.tight li { margin: 2px 0; }
.fb { display: flex; gap: 4px; align-items: center; flex-wrap: wrap; margin-top: 6px; }
.fb button { border: 1px solid var(--line); background: var(--panel); border-radius: 7px; padding: 1px 8px; font-size: 12px; }
.fb button.on[data-v="ok"] { background: var(--accent-soft); border-color: var(--accent); }
.fb button.on[data-v="revise"] { background: var(--warn-soft); border-color: var(--c-borrow); }
.fb button.on[data-v="wrong"] { background: var(--bad-soft); border-color: var(--bad); }
.fb textarea { flex-basis: 100%; min-height: 34px; border: 1px solid var(--line); border-radius: 7px; padding: 4px 7px; background: var(--panel); font-size: 12.5px; resize: vertical; }
.fb .saved { font-size: 11px; color: var(--muted); }
.fb:not(.has) textarea { display: none; }
.kv { display: grid; grid-template-columns: 72px 1fr; gap: 3px 8px; font-size: 13px; }
.kv dt { color: var(--muted); }
.kv dd { margin: 0; }
.empty { color: var(--muted); padding: 20px 14px; }
.fbitem { padding: 6px 12px; border-bottom: 1px solid var(--line); font-size: 13px; cursor: pointer; }
.fbitem:hover { background: var(--soft); }
.fbitem .v { font-size: 11px; }
.gallery { padding: 0 12px; }
.gallery .card { cursor: pointer; }

#strip[hidden], #graphwrap[hidden] { display: none; }