:root {
    --bg: #f5f6f8; --card: #fff; --ink: #101828; --muted: #5b6678; --line: #e4e7ec;
    --brand: #1d5fd0; --ok: #137a3f; --okbg: #e3f6ea; --bad: #b42318; --badbg: #fde8e6;
    --warn: #9a6700; --warnbg: #fff3d6; --infobg: #e6f0ff;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 15px/1.5 system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif; }
a { color: var(--brand); }
.wrap { max-width: 1040px; margin: 0 auto; padding: 0 16px; }
main.wrap { padding-top: 20px; padding-bottom: 60px; }
.top { background: #fff; border-bottom: 1px solid var(--line); }
.bar { display: flex; align-items: center; justify-content: space-between; height: 56px; gap: 16px; }
.brand { font-weight: 700; font-size: 18px; color: var(--ink); text-decoration: none; }
nav { display: flex; gap: 18px; align-items: center; }
nav a { text-decoration: none; }
h1 { font-size: 26px; margin: 8px 0 12px; }
h2 { font-size: 19px; margin: 0 0 12px; }
h3 { font-size: 16px; margin: 20px 0 8px; }
.muted { color: var(--muted); } .small { font-size: 13px; } .center { text-align: center; }
.card { background: var(--card); border: 1px solid var(--line); border-radius: 10px; padding: 18px; margin: 0 0 18px; }
.card.narrow, .narrow { max-width: 560px; }
.grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 16px; margin-bottom: 18px; }
.tile { text-decoration: none; color: inherit; margin: 0; transition: box-shadow .15s; }
.tile:hover { box-shadow: 0 4px 16px rgba(16,24,40,.1); }
.tile h3 { margin-top: 0; }
table { width: 100%; border-collapse: collapse; }
th, td { text-align: left; padding: 9px 10px; border-bottom: 1px solid var(--line); vertical-align: middle; }
th { font-size: 12px; text-transform: uppercase; letter-spacing: .05em; color: var(--muted); }
.matrix th, .matrix td { white-space: nowrap; }
.scroll { overflow-x: auto; }
td.actions { text-align: right; white-space: nowrap; }
td.actions form { display: inline-flex; gap: 6px; margin-left: 6px; }
.badge { display: inline-block; padding: 2px 9px; border-radius: 999px; font-size: 12px; font-weight: 600; background: #eef0f3; color: #475467; }
.badge.ok { background: var(--okbg); color: var(--ok); } .badge.bad { background: var(--badbg); color: var(--bad); }
.badge.warn { background: var(--warnbg); color: var(--warn); } .badge.info { background: var(--infobg); color: var(--brand); }
.badge.muted { background: #eef0f3; color: #667085; }
.flash { padding: 10px 14px; border-radius: 8px; margin: 0 0 12px; background: var(--infobg); }
.flash.ok { background: var(--okbg); color: var(--ok); } .flash.bad { background: var(--badbg); color: var(--bad); }
.flash.info { background: var(--infobg); color: #174ea6; }
label { display: block; font-weight: 600; font-size: 13px; }
input, select, textarea { display: block; width: 100%; margin-top: 4px; padding: 9px 10px; font: inherit; border: 1px solid #cfd6df; border-radius: 7px; background: #fff; }
input[type=checkbox], input[type=radio] { display: inline-block; width: auto; margin: 0 8px 0 0; }
textarea { resize: vertical; }
.stack > * + * { margin-top: 12px; }
.row { display: flex; gap: 14px; flex-wrap: wrap; align-items: flex-end; margin-top: 12px; }
.row > label { flex: 1 1 180px; } .row.top { align-items: flex-start; }
.col { flex: 1 1 300px; }
.check { font-weight: 400; font-size: 14px; display: flex; align-items: baseline; }
.checklist { max-height: 220px; overflow: auto; border: 1px solid var(--line); border-radius: 7px; padding: 6px 10px; margin: 8px 0; }
.checklist .check { padding: 4px 0; }
.btn { display: inline-block; width: auto; padding: 9px 16px; border: 0; border-radius: 7px; background: var(--brand); color: #fff; font: inherit; font-weight: 600; cursor: pointer; text-decoration: none; }
.btn:hover { filter: brightness(.94); } .btn[disabled] { opacity: .45; cursor: not-allowed; }
.btn.secondary { background: #e8edf3; color: var(--ink); } .btn.danger { background: var(--bad); }
.btn.small { padding: 5px 10px; font-size: 13px; } .btn.big { padding: 13px 26px; font-size: 16px; }
button.link { background: none; border: 0; color: var(--brand); font: inherit; cursor: pointer; padding: 0; }
form.inline { display: inline; margin: 0; }
.inline-form { display: flex; gap: 8px; align-items: center; margin-top: 12px; }
.inline-form input, .inline-form select { margin: 0; width: auto; min-width: 150px; }
td.actions .inline-form { margin: 0; }
td.actions .inline-form input { min-width: 120px; padding: 5px 8px; }
pre { background: #0f1722; color: #d8e2f0; padding: 14px; border-radius: 8px; overflow: auto; font-size: 13px; }
code { background: #eef1f5; padding: 1px 5px; border-radius: 4px; }
details summary { cursor: pointer; font-weight: 600; margin: 12px 0 8px; }
.stats { display: flex; gap: 28px; flex-wrap: wrap; margin-bottom: 12px; }
.stats div { display: flex; flex-direction: column; } .stats strong { font-size: 26px; } .stats span { color: var(--muted); font-size: 13px; }
.bar-track { height: 10px; background: #e8edf3; border-radius: 999px; overflow: hidden; }
.bar-fill { height: 100%; background: var(--ok); }
.qlist li { margin: 10px 0; } .qlist ul { margin: 4px 0; } .qlist .correct { color: var(--ok); font-weight: 600; }
.question { border: 1px solid var(--line); }
.question legend { padding: 0 8px; font-size: 13px; color: var(--muted); font-weight: 600; }
.qtext { font-size: 17px; font-weight: 600; margin: 0 0 10px; }
.option { display: flex; align-items: flex-start; gap: 4px; font-weight: 400; font-size: 15px; padding: 9px 12px; border: 1px solid var(--line);
          border-radius: 8px; margin: 6px 0; cursor: pointer; }
.option:hover { background: #f6f9fe; border-color: #b9d0f7; }
.option input { margin-top: 4px; }
.bigscore { font-size: 64px; font-weight: 800; margin: 8px 0 0; }
@media (max-width: 640px) { .bar { height: auto; padding: 10px 0; flex-wrap: wrap; } nav { flex-wrap: wrap; gap: 10px; } }

/* multi-tenant + editor additions */
.orgname { font-weight: 600; color: var(--muted); }
.orgsel { width: auto; margin: 0; padding: 5px 8px; font-weight: 600; }
.qblock { border-left: 4px solid var(--brand); }
.qhead { display: flex; justify-content: space-between; align-items: center; margin-bottom: 8px; }
.qtools { display: inline-flex; gap: 6px; }
.qtext { width: 100%; }
.answers { margin: 10px 0; }
.arow { display: flex; align-items: center; gap: 8px; margin: 6px 0; }
.arow input[type=radio] { flex: 0 0 auto; margin: 0; width: 18px; height: 18px; }
.arow .atext { margin: 0; flex: 1 1 auto; }
.stickybar { position: sticky; bottom: 0; background: linear-gradient(transparent, var(--bg) 30%); padding: 18px 0 12px; display: flex; gap: 10px; }
.flash.info { background: var(--infobg); color: #174ea6; }
details.inline-details { display: inline-block; text-align: left; position: relative; }
details.inline-details summary { list-style: none; cursor: pointer; margin: 0; display: inline-block; }
details.inline-details summary::-webkit-details-marker { display: none; }
details.inline-details[open] .inline-form { position: absolute; right: 0; z-index: 5; background: #fff; border: 1px solid var(--line);
    border-radius: 8px; padding: 10px; box-shadow: 0 6px 20px rgba(16,24,40,.15); white-space: nowrap; }

/* captcha + honeypot */
.hp { position: absolute; left: -10000px; top: auto; width: 1px; height: 1px; overflow: hidden; }
.captcha { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; }
.captcha img { border: 1px solid var(--line); border-radius: 8px; background: #f5f5f5; max-width: 100%; height: auto; }

/* ---- platform dashboard ------------------------------------------------------------ */
:root {
    --series-1: #2a78d6; --series-2: #eb6834;                       /* categorical slots 1-2 (validated) */
    --o1: #86b6ef; --o2: #3987e5; --o3: #1c5cab; --o4: #0d366b;      /* ordinal ramp for funnels (validated) */
    --viz-surface: #ffffff; --viz-ink: #0b0b0b; --viz-ink2: #52514e; --viz-muted: #898781;
    --viz-grid: #e1e0d9; --viz-axis: #c3c2b7;
    --up: #006300; --down: #b42318;
}
.sr-only { position: absolute; left: -10000px; width: 1px; height: 1px; overflow: hidden; }
.subnav { display: flex; gap: 4px; border-bottom: 1px solid var(--line); margin: 0 0 18px; flex-wrap: wrap; }
.subnav a { padding: 8px 14px; text-decoration: none; color: var(--viz-ink2); border-bottom: 2px solid transparent; margin-bottom: -1px; font-weight: 600; }
.subnav a:hover { color: var(--ink); }
.subnav a.active { color: var(--brand); border-bottom-color: var(--brand); }
.rangebar { display: flex; gap: 8px; align-items: center; margin: 0 0 16px; flex-wrap: wrap; }
.chip { padding: 5px 12px; border: 1px solid var(--line); border-radius: 999px; background: #fff; color: var(--viz-ink2); text-decoration: none; font-size: 13px; }
.chip:hover { background: #f2f4f7; }
.chip.active { border-color: var(--brand); color: var(--brand); font-weight: 700; }
.rangedates { margin-left: auto; }
.banner { padding: 10px 14px; border-radius: 8px; margin: 0 0 10px; font-size: 14px; border: 1px solid transparent; }
.banner.bad { background: var(--badbg); color: var(--bad); border-color: #f4c7c3; }
.banner.warn { background: var(--warnbg); color: #7a5200; border-color: #f0d9a0; }
.banner.info { background: var(--infobg); color: #174ea6; border-color: #c7dcfa; }
.banner-icon { font-weight: 700; margin-right: 4px; }

.stat-grid { display: grid; grid-template-columns: minmax(240px, 1fr) 3fr; gap: 16px; margin-bottom: 18px; align-items: stretch; }
.stat-cols { display: grid; grid-template-columns: repeat(auto-fill, minmax(190px, 1fr)); gap: 16px; }
.stat-cols.flat { margin-bottom: 18px; }
.stat { background: var(--card); border: 1px solid var(--line); border-radius: 10px; padding: 16px 18px; min-width: 0; }
.stat-label { color: var(--viz-ink2); font-size: 13px; }
.stat-value { font-size: 30px; font-weight: 650; line-height: 1.2; margin: 4px 0 2px; color: var(--viz-ink); }
.stat-delta { font-size: 12.5px; font-weight: 600; }
.stat-delta.up { color: var(--up); } .stat-delta.down { color: var(--down); } .stat-delta.flat { color: var(--viz-muted); font-weight: 500; }
.stat-sub { color: var(--viz-muted); font-size: 12.5px; margin-top: 4px; }
.stat.hero { display: flex; flex-direction: column; justify-content: center; background: #f5f9ff; border-color: #cfe0f8; }
.stat.hero .stat-value { font-size: 56px; letter-spacing: -.01em; }
.two { display: grid; grid-template-columns: repeat(auto-fit, minmax(380px, 1fr)); gap: 16px; }
.two > .card { margin: 0 0 18px; min-width: 0; }

.titlebar { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; margin: 0 0 14px; }
h2.big { font-size: 24px; margin: 0; }
.tablebar { display: flex; align-items: center; gap: 14px; flex-wrap: wrap; margin-bottom: 8px; }
.tablebar h2 { margin: 0; }
.tablebar .search { margin-left: auto; display: flex; align-items: center; gap: 8px; font-weight: 400; }
.tablebar .search input { width: 280px; max-width: 100%; margin: 0; }
th.num, td.num { text-align: right; font-variant-numeric: tabular-nums; }
th.sortable { cursor: pointer; user-select: none; white-space: nowrap; }
th.sortable:hover { color: var(--ink); }
th.sortable::after { content: ' ↕'; color: #c3c7cf; font-size: 11px; }
th[aria-sort=ascending]::after { content: ' ▲'; color: var(--brand); }
th[aria-sort=descending]::after { content: ' ▼'; color: var(--brand); }
tr[hidden] { display: none; }

dl.health { display: grid; grid-template-columns: minmax(180px, 240px) 1fr; gap: 8px 20px; margin: 0; }
dl.health dt { color: var(--viz-ink2); } dl.health dd { margin: 0; }
.status { font-weight: 600; } .status.ok { color: var(--up); } .status.bad { color: var(--bad); } .status.warn { color: var(--warn); }

/* ---- charts ---- */
.viz { position: relative; min-height: 60px; }
.viz-tools { display: flex; justify-content: flex-end; margin: -34px 0 6px; min-height: 26px; }
.viz-toggle { background: #fff; border: 1px solid var(--line); border-radius: 6px; padding: 3px 10px; font: inherit; font-size: 12px; color: var(--viz-ink2); cursor: pointer; }
.viz-toggle:hover { background: #f2f4f7; }
.viz-legend { display: flex; gap: 20px; list-style: none; margin: 0 0 8px; padding: 0; font-size: 13px; color: var(--viz-ink2); flex-wrap: wrap; }
.viz-legend li { display: flex; align-items: center; gap: 8px; }
.key { display: inline-block; flex: 0 0 auto; }
.key.line { width: 14px; height: 2px; border-radius: 1px; }
.key.box { width: 10px; height: 10px; border-radius: 2px; }
.key.s1 { background: var(--series-1); } .key.s2 { background: var(--series-2); }
.key.o1 { background: var(--o1); } .key.o2 { background: var(--o2); } .key.o3 { background: var(--o3); } .key.o4 { background: var(--o4); }
.viz-plot { position: relative; width: 100%; }
.viz-plot[hidden], .viz-table[hidden] { display: none; }
.viz-plot svg { display: block; overflow: visible; touch-action: pan-y; }
.viz-plot svg:focus-visible { outline: 2px solid var(--brand); outline-offset: 2px; border-radius: 4px; }
.viz svg .grid { stroke: var(--viz-grid); stroke-width: 1; }
.viz svg .axis { stroke: var(--viz-axis); stroke-width: 1; }
.viz svg .cross { stroke: var(--viz-axis); stroke-width: 1; pointer-events: none; }
.viz svg .tick { fill: var(--viz-muted); font-size: 11px; font-variant-numeric: tabular-nums; }
.viz svg .rowlabel { fill: var(--viz-ink2); font-size: 12.5px; }
.viz svg .endlabel { fill: var(--viz-ink2); font-size: 12px; font-weight: 600; font-variant-numeric: tabular-nums; }
.viz svg .empty { fill: var(--viz-muted); font-size: 13px; }
.viz svg .line { fill: none; stroke-width: 2; stroke-linejoin: round; stroke-linecap: round; }
.viz svg .line.s1 { stroke: var(--series-1); } .viz svg .line.s2 { stroke: var(--series-2); }
.viz svg .dot { stroke: var(--viz-surface); stroke-width: 2; pointer-events: none; }
.viz svg .dot.s1 { fill: var(--series-1); } .viz svg .dot.s2 { fill: var(--series-2); }
.viz svg .bar.s1 { fill: var(--series-1); }
.viz svg .bar.o1 { fill: var(--o1); } .viz svg .bar.o2 { fill: var(--o2); } .viz svg .bar.o3 { fill: var(--o3); } .viz svg .bar.o4 { fill: var(--o4); }
.viz svg .bar { transition: opacity .1s; } .viz svg .bar.hot { opacity: .78; }
.viz svg a.rowlink { cursor: pointer; } .viz svg a.rowlink:hover .rowlabel, .viz svg a.rowlink:focus .rowlabel { text-decoration: underline; }
.viz svg a.rowlink:focus { outline: none; } .viz svg a.rowlink:focus .rowlabel { fill: var(--brand); }
.viz-tip { position: absolute; z-index: 5; pointer-events: none; background: #fff; border: 1px solid var(--line); border-radius: 8px;
    box-shadow: 0 6px 20px rgba(16,24,40,.14); padding: 8px 10px; font-size: 12.5px; min-width: 130px; max-width: 280px; }
.tt-title { color: var(--viz-ink2); margin-bottom: 4px; }
.tt-row { display: flex; align-items: center; gap: 8px; }
.tt-row strong { color: var(--viz-ink); font-size: 14px; font-variant-numeric: tabular-nums; }
.tt-name { color: var(--viz-ink2); }
.viz-table { max-height: 340px; overflow: auto; }
@media (max-width: 760px) {
    .stat-grid { grid-template-columns: 1fr; }
    .stat.hero .stat-value { font-size: 44px; }
    .two { grid-template-columns: 1fr; }
    .tablebar .search { margin-left: 0; width: 100%; }
    dl.health { grid-template-columns: 1fr; gap: 2px; } dl.health dd { margin-bottom: 8px; }
}

/* ---- learning material ------------------------------------------------------------- */
.rich { line-height: 1.6; max-width: 70ch; }
.rich h3 { font-size: 20px; margin: 18px 0 6px; } .rich h4 { font-size: 17px; margin: 16px 0 4px; } .rich h5 { font-size: 15px; margin: 14px 0 4px; }
.rich p { margin: 0 0 12px; } .rich ul, .rich ol { margin: 0 0 12px; padding-left: 24px; } .rich li { margin: 2px 0; }
.rich > :first-child { margin-top: 0; }
.material-item h2 { margin-top: 0; }
.material-img { max-width: 100%; height: auto; border-radius: 8px; border: 1px solid var(--line); }
.material-admin details { margin-top: 10px; border-top: 1px solid var(--line); padding-top: 8px; }
.material-admin summary { cursor: pointer; color: var(--brand); font-weight: 600; }
.material-admin .qhead { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; margin-bottom: 8px; }
.material-admin .qtools { margin-left: auto; display: flex; gap: 6px; }

/* ---- brand ----------------------------------------------------------------------------- */
.brand { display: inline-flex; align-items: center; gap: 10px; }
.brand .logo { height: 32px; width: auto; max-width: 180px; display: block; }
.brand .brand-name { font-weight: 700; font-size: 18px; letter-spacing: .01em; }
@media (max-width: 520px) { .brand .logo { height: 26px; max-width: 120px; } .brand .brand-name { font-size: 16px; } }

/* ---- user manual ----------------------------------------------------------------------- */
.manual { display: grid; grid-template-columns: 240px minmax(0, 1fr); gap: 20px; align-items: start; }
.manual-toc { display: block; position: sticky; top: 12px; }
.manual-toc h2 { margin-top: 0; font-size: 16px; }
.manual-toc ol { margin: 0; padding-left: 20px; } .manual-toc li { margin: 4px 0; }
.manual-body section { scroll-margin-top: 12px; max-width: 80ch; }
.manual-body h2 { margin-top: 0; } .manual-body h3 { font-size: 16px; margin: 16px 0 6px; }
.manual-body p, .manual-body li { line-height: 1.55; }
.manual-dl dt { font-weight: 700; margin-top: 12px; } .manual-dl dt:first-child { margin-top: 0; }
.manual-dl dd { margin: 2px 0 0; }
.manual-body .note { background: rgba(42,120,214,.08); border-left: 3px solid #2a78d6; padding: 10px 12px; border-radius: 6px; margin: 12px 0 0; }
.manual-body pre { overflow-x: auto; }
.manual-table { border-collapse: collapse; } .manual-table th, .manual-table td { text-align: left; padding: 6px 12px 6px 0; border-bottom: 1px solid var(--line); }
@media (max-width: 860px) { .manual { grid-template-columns: minmax(0, 1fr); } .manual-toc { position: static; } }

/* ---- Certora theme: calmer, more professional ---------------------------------------- */
:root {
    --brand-dark: #164aa6; --brand-soft: #eaf1fd; --ink2: #344054;
    --radius: 12px; --radius-sm: 8px;
    --shadow-1: 0 1px 2px rgba(16,24,40,.05);
    --shadow-2: 0 1px 3px rgba(16,24,40,.08), 0 8px 24px -12px rgba(16,24,40,.18);
    --ring: 0 0 0 3px rgba(29,95,208,.28);
}
body { font-family: Inter, 'Segoe UI', system-ui, -apple-system, Roboto, 'Helvetica Neue', sans-serif; font-size: 15px; line-height: 1.55;
       -webkit-font-smoothing: antialiased; font-feature-settings: 'cv11', 'ss01'; }
h1, h2, h3 { letter-spacing: -.015em; line-height: 1.25; color: var(--ink); }
h1 { font-size: 28px; font-weight: 700; margin: 10px 0 16px; }
h2 { font-size: 18px; font-weight: 650; } h3 { font-weight: 650; }
table, .stat-value, .stats strong, .num { font-variant-numeric: tabular-nums; }
a { text-underline-offset: 2px; } a:hover { color: var(--brand-dark); }
:focus-visible { outline: 2px solid var(--brand); outline-offset: 2px; border-radius: 4px; }
main.wrap { padding-top: 28px; padding-bottom: 72px; }
.wrap { max-width: 1120px; padding: 0 24px; }

/* header */
.top { background: rgba(255,255,255,.92); backdrop-filter: saturate(1.4) blur(8px); border-bottom: 1px solid var(--line); position: sticky; top: 0; z-index: 20; }
.bar { height: 64px; }
nav { gap: 4px; }
nav > a { padding: 8px 12px; border-radius: var(--radius-sm); color: var(--ink2); font-weight: 550; font-size: 14.5px; text-decoration: none; }
nav > a:hover { background: #f0f2f5; color: var(--ink); }
nav > a.active { background: var(--brand-soft); color: var(--brand-dark); }
nav .orgname { margin-left: 8px; padding: 4px 10px; border: 1px solid var(--line); border-radius: 999px; font-size: 13px; background: #fff; }
nav .orgsel { border-radius: 999px; margin-left: 8px; }
nav button.link { color: var(--muted); font-weight: 550; padding: 8px 10px; border-radius: var(--radius-sm); }
nav button.link:hover { background: #f0f2f5; color: var(--ink); }

/* surfaces */
.card { border-radius: var(--radius); padding: 22px; box-shadow: var(--shadow-1); }
.card h2:first-child { margin-top: 0; }
.tile:hover { box-shadow: var(--shadow-2); border-color: #d3d9e2; }
.flash { border-radius: var(--radius-sm); padding: 11px 14px; border: 1px solid transparent; }
.flash.ok { border-color: #bfe6cd; } .flash.bad { border-color: #f4c7c3; } .flash.info { border-color: #c7dcfa; }

/* tables */
th { text-transform: none; letter-spacing: 0; font-size: 12.5px; font-weight: 650; color: var(--muted); background: #fafbfc; border-bottom: 1px solid var(--line); white-space: nowrap; }
th:first-child { border-top-left-radius: var(--radius-sm); } th:last-child { border-top-right-radius: var(--radius-sm); }
td { border-bottom: 1px solid #eef0f3; padding: 11px 12px; }
tbody tr:hover td { background: #fafbfd; }
tbody tr:last-child td { border-bottom: 0; }
th, td { padding-left: 12px; padding-right: 12px; }

/* badges: status dot, sentence case */
.badge { display: inline-flex; align-items: center; gap: 6px; padding: 2px 10px 2px 8px; font-weight: 600; font-size: 12.5px; }
.badge::before { content: ''; width: 6px; height: 6px; border-radius: 50%; background: currentColor; opacity: .75; }

/* forms */
label { font-size: 13.5px; color: var(--ink2); font-weight: 600; }
input, select, textarea { border-color: #d0d5dd; border-radius: var(--radius-sm); padding: 10px 12px; box-shadow: var(--shadow-1); transition: border-color .12s, box-shadow .12s; }
input:hover, select:hover, textarea:hover { border-color: #b5bdc9; }
input:focus, select:focus, textarea:focus { outline: none; border-color: var(--brand); box-shadow: var(--ring); }
input[type=checkbox], input[type=radio] { box-shadow: none; accent-color: var(--brand); }
.checklist { border-radius: var(--radius-sm); border-color: #d0d5dd; }

/* buttons */
.btn { border-radius: var(--radius-sm); padding: 10px 18px; background: var(--brand); box-shadow: 0 1px 2px rgba(16,24,40,.12), inset 0 1px 0 rgba(255,255,255,.14);
       transition: background .12s, box-shadow .12s, transform .05s; }
.btn:hover { filter: none; background: var(--brand-dark); } .btn:active { transform: translateY(1px); }
.btn:focus-visible { outline: none; box-shadow: var(--ring); }
.btn.secondary { background: #fff; color: var(--ink2); border: 1px solid #d0d5dd; box-shadow: var(--shadow-1); }
.btn.secondary:hover { background: #f6f7f9; border-color: #b5bdc9; }
.btn.danger { background: #fff; color: var(--bad); border: 1px solid #f1b8b2; box-shadow: var(--shadow-1); }
.btn.danger:hover { background: var(--badbg); }
.btn.small { padding: 6px 11px; font-size: 13px; } .btn.big { padding: 14px 28px; font-size: 16px; border-radius: 10px; }

/* misc */
.chip { padding: 6px 14px; font-weight: 550; } .chip.active { background: var(--brand-soft); border-color: #b7cff5; }
.subnav { gap: 2px; } .subnav a { padding: 10px 14px; }
.bar-track { height: 8px; } .bar-fill { background: var(--brand); }
.question, .qblock { border-radius: var(--radius); }
.option { border-radius: 10px; padding: 12px 14px; transition: background .12s, border-color .12s; }
.option:has(input:checked) { background: var(--brand-soft); border-color: #9dbcf0; }
pre { border-radius: 10px; }
code { background: #f0f2f5; color: var(--ink2); }
.bigscore { letter-spacing: -.03em; }
@media (max-width: 640px) {
    .wrap { padding: 0 16px; } .bar { height: auto; } h1 { font-size: 24px; }
    nav > a { padding: 6px 9px; font-size: 14px; }
}
@media (prefers-reduced-motion: reduce) { * { transition: none !important; } }
.manual-table tbody th { background: none; color: var(--ink2); font-size: 14px; padding-right: 16px; }