/* Capitol live: one root token (EO-D342-T): 20 px desktop, 18 px phone; tables >= 17 px; stamp >= 15 px. */
html { font-size: 125%; }
@media (max-width: 640px) { html { font-size: 112.5%; } }
body { font-family: system-ui, -apple-system, "Segoe UI", sans-serif; margin: 0 auto; max-width: 62rem; padding: 0.8rem 1rem 3rem; color: #1d2530; background: #fbfbfa; line-height: 1.45; }
nav { display: flex; gap: 1rem; margin: 0.4rem 0 0.8rem; font-size: 0.9rem; }
nav a { color: #1f4e8c; text-decoration: none; }
nav a.on { font-weight: 700; text-decoration: underline; }
.stamp { font-size: 0.75rem; color: #555; margin: 0 0 0.4rem; }
h1 { font-size: 1.5rem; margin: 0.2rem 0 0.6rem; }
table { border-collapse: collapse; width: 100%; font-size: 0.85rem; }
th, td { border-bottom: 1px solid #ddd; padding: 0.3rem 0.4rem; text-align: left; vertical-align: top; }
code, pre { font-size: 0.85rem; }
pre { white-space: pre-wrap; background: #f1f1ee; padding: 0.6rem; border-radius: 4px; }
.card { background: #fff; border: 1px solid #d8dbe0; border-radius: 6px; padding: 0.7rem 0.9rem; margin: 0 0 0.9rem; }
.card h2 { font-size: 1.1rem; margin: 0 0 0.3rem; }
.muted { color: #5b6470; }
.warn { color: #8a4b00; font-weight: 600; }
.ok { color: #1d6b35; }
.err { color: #9b1c1c; font-weight: 600; }
.choices { display: flex; flex-wrap: wrap; gap: 0.5rem; margin: 0.5rem 0; }
button { font: inherit; font-size: 0.9rem; padding: 0.35rem 0.8rem; border-radius: 4px; border: 1px solid #1f4e8c; background: #fff; color: #1f4e8c; cursor: pointer; }
button.rec { background: #1f4e8c; color: #fff; }
button:disabled { opacity: 0.5; cursor: default; }
textarea { font: inherit; font-size: 0.9rem; width: 100%; min-height: 2.6rem; box-sizing: border-box; }
.board { display: grid; grid-template-columns: repeat(auto-fit, minmax(11rem, 1fr)); gap: 0.7rem; }
.col h2 { font-size: 1rem; margin: 0 0 0.4rem; }
.panels { display: grid; grid-template-columns: repeat(auto-fit, minmax(18rem, 1fr)); gap: 0.8rem; }
details summary { cursor: pointer; font-size: 0.9rem; }
.versions { margin-top: 2rem; font-size: 0.85rem; }
