:root {
  --bg: #ffffff; --fg: #111827; --muted: #4b5563; --panel: #f3f4f6; --border: #d1d5db;
  --banner-bg: #111827; --banner-fg: #ffffff; --accent: #1d4ed8; --focus: #b45309;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0b1220; --fg: #f3f4f6; --muted: #cbd5e1; --panel: #16213a; --border: #334155;
    --banner-bg: #000000; --accent: #93c5fd; --focus: #fbbf24;
  }
}
* { box-sizing: border-box; }
html { font-size: 100%; }
body { margin: 0; background: var(--bg); color: var(--fg); font: 1rem/1.5 system-ui, sans-serif; }
a { color: var(--accent); }
:focus-visible { outline: 3px solid var(--focus); outline-offset: 2px; }
.skip-link { position: absolute; left: -999px; top: 0; background: var(--bg); padding: .5rem 1rem; }
.skip-link:focus { left: 0; z-index: 10; }
.visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.safety-banner { display: flex; flex-wrap: wrap; gap: .25rem 1.5rem; padding: .5rem 1rem;
  background: var(--banner-bg); color: var(--banner-fg); font-family: ui-monospace, monospace;
  position: sticky; top: 0; z-index: 5; }
.site-header, main, .site-footer { padding: .75rem 1rem; max-width: 72rem; margin: 0 auto; }
.brand { font-weight: 700; margin: 0 0 .25rem; }
nav ul { display: flex; flex-wrap: wrap; gap: .25rem .75rem; list-style: none; margin: 0; padding: 0; }
nav a, .nav-later { display: inline-block; padding: .5rem .25rem; min-height: 2.75rem; }
.nav-later { color: var(--muted); }
[aria-current="page"] { font-weight: 700; text-decoration: none; }
.notice { background: var(--panel); border: 1px solid var(--border); border-radius: .5rem; padding: .75rem 1rem; }
.tiles { display: grid; grid-template-columns: repeat(auto-fit, minmax(14rem, 1fr)); gap: .75rem; margin: 1rem 0; }
.tile { background: var(--panel); border: 1px solid var(--border); border-radius: .5rem; padding: .75rem 1rem; margin: 0; }
.tile dt { color: var(--muted); font-size: .875rem; }
.tile dd { margin: 0; font-weight: 600; }
.tile h2 { margin: 0 0 .25rem; font-size: 1rem; }
.site-footer { color: var(--muted); font-size: .875rem; }
@media (prefers-reduced-motion: reduce) { * { animation: none !important; transition: none !important; } }

/* Phase 2: forms, tables, messages */
.whoami { margin: 0 0 .25rem; color: var(--muted); }
form.inline { display: inline; margin: 0; }
form.stacked p { margin: .75rem 0; }
label { display: block; font-weight: 600; margin-bottom: .25rem; }
input[type="text"], input[type="password"], select {
  width: 100%; max-width: 28rem; min-height: 2.75rem; padding: .5rem .75rem;
  font: inherit; color: var(--fg); background: var(--bg); border: 2px solid var(--border); border-radius: .375rem;
}
button {
  min-height: 2.75rem; padding: .5rem 1rem; font: inherit; font-weight: 600; cursor: pointer;
  color: var(--bg); background: var(--accent); border: 2px solid var(--accent); border-radius: .375rem;
}
nav button { color: var(--accent); background: transparent; border-color: transparent; text-decoration: underline; }
.msg { border: 2px solid var(--border); border-radius: .5rem; padding: .5rem 1rem; margin: 1rem 0; }
.msg.error { border-color: #b91c1c; }
.msg.error::before { content: "Error: "; font-weight: 700; }
.msg.success { border-color: #15803d; }
.msg.success::before { content: "Done: "; font-weight: 700; }
.msg p { margin: .25rem 0; }
.table-wrap { overflow-x: auto; margin: 1rem 0; }
table { border-collapse: collapse; width: 100%; min-width: 32rem; }
th, td { text-align: left; padding: .5rem; border-bottom: 1px solid var(--border); vertical-align: top; }
code { font-family: ui-monospace, monospace; background: var(--panel); padding: 0 .25rem; }
.filter { display: flex; flex-wrap: wrap; gap: .5rem; align-items: end; margin: 1rem 0; }
.filter label { margin: 0; }
.badge { display: inline-block; padding: 0 .5rem; border: 1px solid var(--border); border-radius: .5rem; font-size: .875rem; font-weight: 600; background: var(--panel); }
.state-paper_active, .check-pass { border-color: #15803d; }
.state-research_only, .state-disabled, .check-inconclusive { border-color: #a16207; }
.state-archived { color: var(--muted); }
.check-fail { border-color: #b91c1c; }
.lifecycle { display: flex; flex-wrap: wrap; gap: .25rem .75rem; list-style: none; padding: 0; margin: .5rem 0; }
.lifecycle li { padding: .25rem .5rem; border: 1px solid var(--border); border-radius: .5rem; }
.lifecycle li.current { border-width: 3px; font-weight: 700; }
.lifecycle li.done { background: var(--panel); }
.lifecycle li.blocked, .lifecycle li.todo { color: var(--muted); }
.lifecycle li.blocked { border-style: dashed; }
.actions { list-style: none; padding: 0; }
.actions li { margin: .5rem 0; }
a.button { display: inline-block; min-height: 2.75rem; padding: .5rem .75rem; border: 1px solid var(--border); border-radius: .5rem; }
pre.report { white-space: pre-wrap; overflow-wrap: anywhere; background: var(--panel); border: 1px solid var(--border); border-radius: .5rem; padding: .75rem 1rem; }

/* Report text is preformatted; it wraps and scrolls inside its own box, never the page. */
pre.report { white-space: pre-wrap; overflow-wrap: anywhere; max-width: 100%; overflow-x: auto; }
.notice code { overflow-wrap: anywhere; }

/* Long digests and ids wrap inside their cell instead of widening the page. */
dd, dt { overflow-wrap: anywhere; }
dd code, td code { overflow-wrap: anywhere; word-break: break-all; }

/* Proposals are UNTRUSTED ADVISORY INPUT: shown as escaped plain text, wrapped inside their own box. */
.badge-untrusted { background: var(--warn-bg, #fff3cd); color: var(--warn-fg, #5c4400); border: 1px solid currentColor; }
pre.untrusted { white-space: pre-wrap; overflow-wrap: anywhere; max-width: 100%; overflow-x: auto; background: var(--panel); border: 1px solid var(--border); border-radius: .5rem; padding: .5rem .75rem; margin: .25rem 0 1rem; }
textarea { max-width: 100%; }

/* Long codes, timestamps and reasons in lists must wrap instead of widening the page (Bot page). */
main li,
main dd {
  overflow-wrap: anywhere;
}