:root {
  --bg: #f4f5f1; --card: #fff; --fg: #1d2420; --muted: #66706a; --line: #dfe3dc;
  --accent: #2f6b3c; --accent-fg: #fff;
  --ok: #2f7d3f; --warn: #b7791f; --bad: #b83232; --info: #2b6cb0;
}
@media (prefers-color-scheme: dark) {
  :root { --bg: #141815; --card: #1d221e; --fg: #e5e9e4; --muted: #9aa49c; --line: #2f3631;
          --accent: #5fa56f; --accent-fg: #0f1410; }
}
* { box-sizing: border-box; }
body { margin: 0; font: 15px/1.5 system-ui, -apple-system, "Segoe UI", sans-serif; background: var(--bg); color: var(--fg); }
a { color: var(--accent); }
.top { display: flex; justify-content: space-between; align-items: center; padding: 10px 20px; border-bottom: 1px solid var(--line); background: var(--card); }
.top nav { display: flex; gap: 16px; align-items: center; }
.brand { font-weight: 700; text-decoration: none; color: var(--fg); }
main { max-width: 1200px; margin: 0 auto; padding: 16px; }
.card { background: var(--card); border: 1px solid var(--line); border-radius: 10px; padding: 16px; margin-bottom: 16px; min-width: 0; }
.grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
@media (max-width: 800px) { .grid2 { grid-template-columns: 1fr; } }
.grid2 > .card { margin-bottom: 0; } .grid2 { margin-bottom: 16px; }
h1 { font-size: 1.35rem; margin: 0 0 4px; } h2 { font-size: 1.1rem; margin: 0 0 10px; } h3 { font-size: 1rem; margin: 14px 0 6px; }
.muted { color: var(--muted); } .small { font-size: .85rem; }
.mono { font-family: ui-monospace, Menlo, Consolas, monospace; white-space: nowrap; }
.pre { white-space: pre-wrap; word-break: break-word; }
.err { color: var(--bad); }
input, textarea, button { font: inherit; }
input[type=text], input:not([type]), input[type=password], textarea { width: 100%; padding: 8px; border: 1px solid var(--line); border-radius: 6px; background: var(--bg); color: var(--fg); }
input[type=file] { display: block; margin: 8px 0; max-width: 100%; }
button { background: var(--accent); color: var(--accent-fg); border: 0; border-radius: 6px; padding: 8px 14px; cursor: pointer; margin-top: 8px; }
button.small { padding: 4px 10px; font-size: .85rem; margin-top: 4px; }
button.link { background: none; color: var(--accent); padding: 0; margin: 0; text-decoration: underline; }
form.inline { display: inline; }
.row { display: flex; gap: 12px; align-items: center; flex-wrap: wrap; }
.check { display: inline-flex; gap: 6px; align-items: center; }
.flash { background: var(--card); border-left: 4px solid var(--accent); padding: 10px 14px; margin-bottom: 12px; border-radius: 6px; }
.login { max-width: 360px; margin: 60px auto; display: grid; gap: 12px; }
table { width: 100%; border-collapse: collapse; display: block; overflow-x: auto; }
th, td { text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { font-size: .8rem; color: var(--muted); font-weight: 600; }
.filters { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin-bottom: 10px; }
.search { margin-left: auto; min-width: 200px; }
.chip { padding: 3px 10px; border-radius: 999px; border: 1px solid var(--line); text-decoration: none; color: var(--fg); font-size: .85rem; }
.chip.on { background: var(--accent); color: var(--accent-fg); border-color: var(--accent); }
.badge { display: inline-block; padding: 1px 8px; border-radius: 999px; font-size: .8rem; border: 1px solid currentColor; }
.badge.big { font-size: 1rem; padding: 4px 12px; }
.st-solved, .st-done { color: var(--ok); } .st-needs_review { color: var(--warn); }
.st-failed, .st-cancelled { color: var(--bad); } .st-solving, .st-running, .st-queued { color: var(--info); }
.st-skipped, .st-new { color: var(--muted); }
.head { display: flex; justify-content: space-between; gap: 12px; align-items: flex-start; }
.kv { display: grid; grid-template-columns: max-content 1fr; gap: 4px 16px; margin: 12px 0; }
.kv dt { color: var(--muted); } .kv dd { margin: 0; }
.notes, .runs { list-style: none; padding: 0; margin: 0 0 12px; max-height: 480px; overflow-y: auto; }
.note, .runs li { padding: 8px 0; border-bottom: 1px solid var(--line); }
.note .meta { font-size: .78rem; color: var(--muted); }
.k-finding { border-left: 3px solid var(--ok); padding-left: 8px; }
.k-hypothesis { border-left: 3px solid var(--info); padding-left: 8px; }
.k-dead_end { border-left: 3px solid var(--bad); padding-left: 8px; opacity: .85; }
.k-question, .k-answer { border-left: 3px solid var(--warn); padding-left: 8px; }
.log { font: 12px/1.45 ui-monospace, Menlo, Consolas, monospace; background: var(--bg); border: 1px solid var(--line); border-radius: 6px; padding: 8px; height: 320px; overflow-y: auto; white-space: pre-wrap; word-break: break-word; }
.ev.tool { color: var(--info); } .ev.error { color: var(--bad); } .ev.result { color: var(--ok); font-weight: 600; }
.listing { width: 100%; height: 600px; border: 1px solid var(--line); border-radius: 6px; background: #fff; }