:root {
  --bg: #f6f7f9; --card: #fff; --ink: #1c2530; --muted: #6b7684; --line: #e3e6ea;
  --accent: #2f6f8f; --accent-soft: #e3eef4; --new: #c2410c; --new-soft: #ffedd5;
}
* { box-sizing: border-box; }
html { font-size: 16px; }
body { margin: 0; background: var(--bg); color: var(--ink); font-family: -apple-system, "Segoe UI", Inter, Roboto, sans-serif; line-height: 1.5; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
h1 { font-size: 1.35rem; margin: 0; font-weight: 650; }
h2 { font-size: 1.1rem; margin: 2rem 0 .75rem; }
h3 { font-size: .8rem; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); margin: 1.25rem 0 .5rem; }
.muted { color: var(--muted); font-weight: 400; }
.small { font-size: .85rem; }
.mono { font-family: ui-monospace, Menlo, monospace; font-size: .85rem; }

header.top { display: flex; align-items: center; gap: 1.5rem; padding: .75rem 1.5rem; background: var(--card); border-bottom: 1px solid var(--line); position: sticky; top: 0; z-index: 5; }
.brand { font-weight: 700; color: var(--ink); }
header.top nav a { margin-right: 1rem; color: var(--muted); }
header.top nav a.active { color: var(--ink); font-weight: 600; }
footer { text-align: center; color: var(--muted); font-size: .85rem; padding: 2rem 1rem; }

.layout { display: grid; grid-template-columns: 300px 1fr; gap: 1.5rem; max-width: 1280px; margin: 0 auto; padding: 1.25rem 1.5rem; }
.single { max-width: 860px; margin: 0 auto; padding: 1.25rem 1.5rem; }
.single.wide { max-width: 1200px; }
@media (max-width: 860px) { .layout { grid-template-columns: 1fr; } .filters { order: 2; } }

.filters { font-size: .92rem; }
.search { display: flex; gap: .4rem; }
.search input { flex: 1; padding: .5rem .7rem; border: 1px solid var(--line); border-radius: 8px; font: inherit; background: var(--card); }
button, .btn { padding: .45rem .8rem; border: 1px solid var(--line); border-radius: 8px; background: var(--card); color: var(--ink); font: inherit; font-size: .9rem; cursor: pointer; }
button:hover, .btn:hover { border-color: var(--accent); text-decoration: none; }
.list, .tree, .tree ul { list-style: none; margin: 0; padding: 0; }
.list a, .tree a { display: flex; justify-content: space-between; gap: .5rem; padding: .3rem .5rem; border-radius: 6px; color: var(--ink); }
.list a:hover, .tree a:hover { background: var(--accent-soft); text-decoration: none; }
.list a.active, .tree a.active { background: var(--accent); color: #fff; }
.list a.active .n, .tree a.active .n { color: #fff; opacity: .8; }
.tree > li > ul { display: none; padding-left: .9rem; border-left: 2px solid var(--line); margin-left: .6rem; }
.tree > li.open > ul { display: block; }
.tree b { margin-right: .3rem; }
.n { color: var(--muted); font-variant-numeric: tabular-nums; font-size: .85em; white-space: nowrap; }

.results-head { display: flex; justify-content: space-between; align-items: center; gap: 1rem; flex-wrap: wrap; }
.tools { display: flex; gap: .5rem; align-items: center; font-size: .9rem; color: var(--muted); }
.tools select { font: inherit; padding: .35rem .5rem; border: 1px solid var(--line); border-radius: 8px; background: var(--card); margin-left: .3rem; }

.task { background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 1rem 1.25rem; margin: .9rem 0; }
.task-head { display: flex; align-items: center; gap: .5rem; flex-wrap: wrap; margin-bottom: .6rem; font-size: .85rem; }
.task-id { font-family: ui-monospace, Menlo, monospace; font-weight: 600; color: var(--ink); }
.chip { display: inline-block; padding: .1rem .55rem; border-radius: 999px; background: var(--accent-soft); color: var(--accent); font-size: .8rem; white-space: nowrap; }
.chip.type { background: #eef0f3; color: var(--muted); }
.chip.new, .chip.added { background: var(--new-soft); color: var(--new); font-weight: 600; }
.chip.changed { background: #fef3c7; color: #92400e; }
.chip.removed { background: #fee2e2; color: #991b1b; }
.chip.restored { background: #dcfce7; color: #166534; }
.ext { margin-left: auto; color: var(--muted); }
.task-body { font-family: Georgia, "Times New Roman", serif; font-size: 1.05rem; overflow-x: auto; }
.task-body p { margin: .4rem 0; }
.task-body img { max-width: 100%; height: auto; }
.task-body table { border-collapse: collapse; }
.task-body table[align="right"] { float: right; margin: 0 0 .5rem 1rem; }
.task-body table[align="left"] { float: left; margin: 0 1rem .5rem 0; }
.task-body td, .task-body th { padding: .15rem .4rem; vertical-align: top; }
.task-body table.MsoTableGrid td, .task-body table.MsoTableGrid th { border: 1px solid var(--line); }
.task-body .MsoTableGrid:has(img) td { border: 0; }
.task-body ol.variants { padding-left: 1.5rem; clear: both; margin: .5rem 0 0; }
.task-body ol.variants li { margin: .15rem 0; }
.task-body mjx-container { font-size: 1.05em; }
.task-hint { font-size: .85rem; color: var(--muted); margin-top: .6rem; clear: both; }

.pager { display: flex; gap: .3rem; flex-wrap: wrap; justify-content: center; margin: 1.5rem 0; }
.pager a, .pager span { padding: .35rem .7rem; border-radius: 8px; border: 1px solid var(--line); background: var(--card); color: var(--ink); min-width: 2.4rem; text-align: center; }
.pager a.active { background: var(--accent); color: #fff; border-color: var(--accent); }
.empty { color: var(--muted); padding: 2rem; text-align: center; }
.crumbs { color: var(--muted); font-size: .9rem; }

.props { display: grid; grid-template-columns: 11rem 1fr; gap: .4rem 1rem; background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 1rem 1.25rem; font-size: .92rem; }
.props dt { color: var(--muted); }
.props dd { margin: 0; }

.table-wrap { overflow-x: auto; background: var(--card); border: 1px solid var(--line); border-radius: 12px; }
table.stats { border-collapse: collapse; width: 100%; font-size: .9rem; }
table.stats th, table.stats td { padding: .45rem .7rem; border-bottom: 1px solid var(--line); text-align: left; vertical-align: top; }
table.stats th { background: #f1f3f6; font-weight: 600; color: var(--muted); font-size: .8rem; position: sticky; top: 0; }
table.stats .num { text-align: right; font-variant-numeric: tabular-nums; }
table.stats .name { max-width: 34rem; }
table.stats tfoot td { font-weight: 600; border-top: 2px solid var(--line); }
tr.run-error td { color: #991b1b; }
.changes { list-style: none; padding: 0; }
.changes li { padding: .5rem 0; border-bottom: 1px solid var(--line); }

.kim-grid { display: grid; grid-template-columns: repeat(7, 1fr); gap: .3rem; }
.kim-grid a { text-align: center; padding: .3rem 0; border: 1px solid var(--line); border-radius: 6px; background: var(--card); color: var(--ink); font-variant-numeric: tabular-nums; font-size: .85rem; }
.kim-grid a:hover { border-color: var(--accent); text-decoration: none; }
.kim-grid a.active { background: var(--accent); color: #fff; border-color: var(--accent); }
.chip.kim { background: #1f2937; color: #fff; font-weight: 600; }
.chip.kim.medium { background: #4b5563; }
.chip.kim.low { background: #e5e7eb; color: #374151; border: 1px dashed #9ca3af; }

.chip.group { background: #ecfdf5; color: #047857; }
.group-intro { border: 1px dashed var(--line); border-radius: 8px; padding: .4rem .8rem; margin-bottom: .7rem; background: #fafbfc; }
.group-intro summary { cursor: pointer; font-size: .85rem; color: var(--accent); font-family: -apple-system, "Segoe UI", Inter, Roboto, sans-serif; }
.group-intro[open] summary { margin-bottom: .4rem; }
.group-body { font-size: .98rem; }
.group-body img { max-width: 100%; }

.userbox { margin-left: auto; display: flex; gap: .6rem; align-items: center; font-size: .9rem; }
form.inline { display: inline; }
button.link { border: 0; background: none; color: var(--accent); padding: 0; cursor: pointer; font: inherit; font-size: .9rem; }
button.link:hover { text-decoration: underline; }
.form { display: grid; gap: .8rem; background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 1.25rem; }
.form label { display: grid; gap: .3rem; font-size: .9rem; color: var(--muted); }
.form input, .form select, .form textarea { font: inherit; padding: .5rem .7rem; border: 1px solid var(--line); border-radius: 8px; color: var(--ink); }
button.primary { background: var(--accent); color: #fff; border-color: var(--accent); }
.error { color: #991b1b; }
