@font-face { font-family: "Bricolage Grotesque"; font-style: normal; font-display: swap; font-weight: 200 800; src: url(fonts/bricolage-grotesque-latin-ext.776f6dcaf0.woff2) format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Bricolage Grotesque"; font-style: normal; font-display: swap; font-weight: 200 800; src: url(fonts/bricolage-grotesque-latin.a79fdb52d4.woff2) format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family: "Instrument Sans"; font-style: normal; font-display: swap; font-weight: 400 700; src: url(fonts/instrument-sans-latin-ext.c4fcfea41f.woff2) format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Instrument Sans"; font-style: normal; font-display: swap; font-weight: 400 700; src: url(fonts/instrument-sans-latin.2ee17598a9.woff2) format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-display: swap; font-weight: 100 800; src: url(fonts/jetbrains-mono-latin-ext.79bfdab9ba.woff2) format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-display: swap; font-weight: 100 800; src: url(fonts/jetbrains-mono-latin.18be452724.woff2) format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
/* Layout: a copyist's workbench. Paste on the left, the engraved proof on the right;
   blue pencil for the tool's own marks, red pencil for bars that need a second look. */
:root {
  --paper: #f2f4f8;
  --surface: #ffffff;
  --ink: #151b29;
  --ink-2: #566178;
  --line: #d4d9e4;
  --staff: #9aa5ba;
  --blue: #2447c4;
  --blue-soft: #e4eafc;
  --red: #bf3326;
  --red-soft: #fbe9e6;
  --green: #17734a;
  --on-blue: #ffffff;
  --font-display: "Bricolage Grotesque", "Avenir Next Condensed", "Segoe UI", system-ui, sans-serif;
  --font-body: "Instrument Sans", "Segoe UI", system-ui, -apple-system, sans-serif;
  --font-mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #0f131c; --surface: #171c28; --ink: #e8ecf5; --ink-2: #9aa5bc; --line: #2b3345; --staff: #56617b;
    --blue: #93a9ff; --blue-soft: #1e2847; --red: #ff9288; --red-soft: #3a1f1f; --green: #63d19a; --on-blue: #0f131c;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #0f131c; --surface: #171c28; --ink: #e8ecf5; --ink-2: #9aa5bc; --line: #2b3345; --staff: #56617b;
  --blue: #93a9ff; --blue-soft: #1e2847; --red: #ff9288; --red-soft: #3a1f1f; --green: #63d19a; --on-blue: #0f131c;
  color-scheme: dark;
}

*, *::before, *::after { box-sizing: border-box; }
[hidden] { display: none !important; }
body.page { margin: 0; }
body {
  background: var(--paper); color: var(--ink);
  font-family: var(--font-body); font-size: 15px; line-height: 1.5;
  padding-inline: 20px; padding-block: 28px 56px;
}
.wrap { max-width: 1240px; margin-inline: auto; display: flex; flex-direction: column; gap: 28px; }

/* ---- masthead: the title sits on a tab staff the way fret numbers do */
.mast { display: flex; flex-direction: column; gap: 14px; }
.staffline {
  display: flex; align-items: center; gap: 14px; min-height: 58px;
  background: linear-gradient(var(--staff), var(--staff)) 0 8px / 100% 1px no-repeat,
              linear-gradient(var(--staff), var(--staff)) 0 22px / 100% 1px no-repeat,
              linear-gradient(var(--staff), var(--staff)) 0 36px / 100% 1px no-repeat,
              linear-gradient(var(--staff), var(--staff)) 0 50px / 100% 1px no-repeat;
  border-left: 3px solid var(--ink);
}
.clef {
  font-family: var(--font-display); font-weight: 800; font-size: 15px; line-height: 14px; letter-spacing: 0;
  display: flex; flex-direction: column; align-items: center; padding: 8px 7px; background: var(--paper); margin-left: 8px;
}
.mast h1 {
  font-family: var(--font-display); font-weight: 700; font-size: clamp(27px, 4.6vw, 40px); line-height: 1.05;
  letter-spacing: -0.02em; margin: 0; padding: 4px 12px; background: var(--paper); text-wrap: balance;
}
.lead { margin: 0; max-width: 64ch; color: var(--ink-2); font-size: 16px; }

/* ---- workbench */
.bench { display: grid; grid-template-columns: minmax(0, 7fr) minmax(0, 5fr); gap: 28px 32px; align-items: stretch; }
.col { display: flex; flex-direction: column; gap: 24px; min-width: 0; }
.step { display: flex; flex-direction: column; gap: 12px; min-width: 0; }
.step-head { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.step-num {
  font-family: var(--font-mono); font-size: 12px; font-weight: 600; color: var(--on-blue); background: var(--blue);
  width: 22px; height: 22px; border-radius: 50%; display: inline-flex; align-items: center; justify-content: center; flex: none;
  align-self: center;
}
.step h2 { font-family: var(--font-display); font-weight: 700; font-size: 20px; letter-spacing: -0.01em; margin: 0; }
.hint { margin: 0; color: var(--ink-2); font-size: 14px; max-width: 62ch; }
kbd {
  font-family: var(--font-mono); font-size: 12px; background: var(--surface); border: 1px solid var(--line);
  border-bottom-width: 2px; border-radius: 4px; padding: 0 5px; white-space: nowrap;
}

.seg { display: inline-flex; width: fit-content; max-width: 100%; border: 1px solid var(--line); border-radius: 6px; background: var(--surface); padding: 2px; gap: 2px; }
.seg button {
  font-family: var(--font-body); font-size: 14px; font-weight: 600; line-height: 1.2; cursor: pointer;
  border: 0; border-radius: 4px; background: transparent; color: var(--ink-2); padding: 6px 13px;
}
.seg button:hover { color: var(--ink); }
.seg button[aria-pressed="true"] { background: var(--blue); color: var(--on-blue); }
.seg button:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }
.seg button[disabled] { opacity: 0.5; cursor: not-allowed; }
.lock {
  display: flex; align-items: center; justify-content: space-between; gap: 8px 14px; flex-wrap: wrap;
  background: var(--blue-soft); border-left: 3px solid var(--blue); border-radius: 4px; padding: 9px 12px; font-size: 14px;
}
.lock p { margin: 0; flex: 1 1 240px; min-width: 0; }
.lock.bump { animation: bump 0.5s ease-out; }
@keyframes bump { 0% { transform: translateX(0); } 25% { transform: translateX(-5px); } 60% { transform: translateX(4px); } 100% { transform: translateX(0); } }
.pane { display: flex; flex-direction: column; gap: 12px; flex: 1 1 auto; min-width: 0; }
.drop {
  position: relative; flex: 1 1 auto; min-height: 420px; display: flex; align-items: center; justify-content: center;
  background: var(--surface); border: 1.5px dashed var(--staff); border-radius: 6px; padding: 24px; text-align: center;
}
.drop.over { border-color: var(--blue); border-style: solid; background: var(--blue-soft); }
.web {
  flex: 1 1 auto; min-height: 420px; display: flex; flex-direction: column; gap: 14px; min-width: 0;
  background: var(--surface); border: 1px solid var(--line); border-radius: 6px; padding: 18px;
}
.web-row { display: flex; gap: 8px; flex-wrap: wrap; }
.web input[type="url"], .web select, .web textarea {
  font-family: var(--font-body); font-size: 15px; color: var(--ink); background: var(--surface);
  border: 1px solid var(--line); border-radius: 6px; padding: 9px 10px; min-width: 0;
}
.web input[type="url"] { flex: 1 1 260px; font-family: var(--font-mono); font-size: 13px; }
.web textarea { width: 100%; font-family: var(--font-mono); font-size: 12px; resize: vertical; }
.web .btn-primary { font-size: 15px; padding: 9px 16px; }
.web .field { max-width: 460px; }
.web .field select { width: 100%; }
.web-manual { display: flex; flex-direction: column; gap: 8px; font-size: 14px; border-left: 3px solid var(--blue); padding-left: 12px; }
.web-manual p, .web-manual ol { margin: 0; }
.web-manual ol { padding-left: 20px; display: flex; flex-direction: column; gap: 4px; }
.web-manual a { color: var(--blue); font-weight: 600; }
.web-manual code { font-family: var(--font-mono); }
.web-note { margin: auto 0 0; color: var(--ink-2); font-size: 13px; max-width: 62ch; }
.web input:focus-visible, .web select:focus-visible, .web textarea:focus-visible, .web a:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }
.web input[disabled], .web select[disabled], .web textarea[disabled] { opacity: 0.55; cursor: not-allowed; }
.drop-body { display: flex; flex-direction: column; align-items: center; gap: 12px; max-width: 46ch; min-width: 0; }
.drop-title { font-family: var(--font-display); font-weight: 700; font-size: 20px; letter-spacing: -0.01em; margin: 0; }
.drop-sub, .file-state { margin: 0; color: var(--ink-2); font-size: 14px; }
.file-state.bad { color: var(--red); font-weight: 600; }
.file-state.ok { color: var(--ink); }
.file-name { font-family: var(--font-mono); font-size: 13px; margin: 0; overflow-wrap: anywhere; }
.file-actions { display: flex; gap: 8px; flex-wrap: wrap; justify-content: center; }
.file-pages { display: flex; gap: 8px; flex-wrap: wrap; justify-content: center; align-items: flex-start; }
.file-pages:empty { display: none; }
.file-pages canvas { display: block; width: 84px; height: auto; border: 1px solid var(--line); border-radius: 3px; background: #fff; }
.file-pages span { align-self: center; color: var(--ink-2); font-size: 13px; }
.vh { position: absolute; width: 1px; height: 1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; padding: 0; margin: -1px; opacity: 0; }

.paste { display: flex; flex-direction: column; flex: 1 1 auto; background: var(--surface); border: 1px solid var(--line); border-radius: 6px; overflow: hidden; }
.paste-bar {
  display: flex; align-items: center; justify-content: space-between; gap: 12px; flex-wrap: wrap;
  padding: 8px 12px; border-bottom: 1px solid var(--line); font-size: 13px; color: var(--ink-2);
}
.paste-bar strong { color: var(--blue); font-weight: 600; }
#tab-input {
  display: block; width: 100%; flex: 1 1 auto; min-height: 420px; resize: none;
  border: 0; outline: 0; padding: 12px; background: var(--surface); color: var(--ink);
  font-family: var(--font-mono); font-size: 12.5px; line-height: 1.38; white-space: pre; overflow: auto; tab-size: 4;
}
.paste:focus-within { border-color: var(--blue); box-shadow: 0 0 0 3px var(--blue-soft); }
.pane.over .paste { border-color: var(--blue); box-shadow: 0 0 0 3px var(--blue-soft); }

.btn {
  font-family: var(--font-body); font-size: 14px; font-weight: 600; line-height: 1.2; cursor: pointer;
  border: 1px solid var(--line); background: var(--surface); color: var(--ink); border-radius: 6px; padding: 7px 12px;
}
.btn:hover { border-color: var(--ink-2); }
.btn[disabled] { opacity: 0.45; cursor: not-allowed; }
#tab-input[readonly] { color: var(--ink-2); }
.btn:focus-visible, select:focus-visible, input:focus-visible, summary:focus-visible, .chk-btn:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }
.btn-primary { background: var(--blue); border-color: var(--blue); color: var(--on-blue); font-size: 16px; padding: 11px 18px; }
.btn-primary:hover { border-color: var(--ink); }
.btn-primary[disabled] { opacity: 0.45; cursor: not-allowed; }

.fields { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 12px 14px; }
.field { display: flex; flex-direction: column; gap: 4px; min-width: 0; }
.field.wide { grid-column: span 2; }
.field label { font-size: 12px; font-weight: 600; letter-spacing: 0.04em; text-transform: uppercase; color: var(--ink-2); }
.field input, .field select {
  font-family: var(--font-body); font-size: 15px; color: var(--ink); background: var(--surface);
  border: 1px solid var(--line); border-radius: 6px; padding: 8px 10px; width: 100%; min-width: 0;
}
.field input[type="number"] { font-variant-numeric: tabular-nums; }
.field small { color: var(--ink-2); font-size: 12.5px; line-height: 1.35; }
details.more { border-top: 1px solid var(--line); padding-top: 10px; }
details.more summary { cursor: pointer; font-size: 14px; font-weight: 600; color: var(--ink-2); width: fit-content; }
details.more .fields { margin-top: 12px; }
details.more .hint { margin-top: 10px; font-size: 13px; }

/* ---- result */
.result { background: var(--surface); border: 1px solid var(--line); border-radius: 6px; display: flex; flex-direction: column; min-width: 0; }
.result-top { display: flex; gap: 16px 24px; align-items: flex-start; justify-content: space-between; flex-wrap: wrap; padding: 16px 18px; }
.facts { display: flex; flex-direction: column; gap: 6px; min-width: 0; flex: 1 1 260px; }
.facts-main { font-family: var(--font-display); font-weight: 700; font-size: 22px; line-height: 1.15; letter-spacing: -0.01em; margin: 0; }
.facts-list { margin: 0; padding: 0; list-style: none; display: flex; flex-wrap: wrap; gap: 4px 14px; color: var(--ink-2); font-size: 14px; }
.verdict { display: inline-flex; align-items: center; gap: 7px; font-size: 14px; font-weight: 600; margin: 2px 0 0; }
.verdict::before { content: ""; width: 9px; height: 9px; border-radius: 50%; background: var(--green); flex: none; }
.verdict.warn::before { background: var(--red); }
.verdict.soft::before { background: var(--ink-2); }
.save { display: flex; flex-direction: column; gap: 8px; align-items: flex-start; flex: 0 1 300px; min-width: 0; }
.save-note { margin: 0; font-size: 13px; color: var(--ink-2); }
.save-name { font-family: var(--font-mono); font-size: 12.5px; color: var(--ink); overflow-wrap: anywhere; }
.status { margin: 0; font-size: 14px; font-weight: 600; }
.status.ok { color: var(--green); }
.status.bad { color: var(--red); }

.checks { padding: 14px 18px; border-top: 1px solid var(--line); display: flex; flex-direction: column; gap: 8px; }
.checks h3 { font-size: 12px; font-weight: 600; letter-spacing: 0.06em; text-transform: uppercase; color: var(--ink-2); margin: 0; }
.checks ul { margin: 0; padding: 0; list-style: none; display: flex; flex-direction: column; gap: 6px; max-height: 260px; overflow: auto; }
.checks li { display: flex; gap: 10px; align-items: baseline; font-size: 14px; }
.chk-btn {
  font-family: var(--font-mono); font-size: 12px; font-weight: 600; cursor: pointer; flex: none;
  color: var(--red); background: var(--red-soft); border: 1px solid transparent; border-radius: 4px; padding: 1px 7px;
}
.chk-btn.soft { color: var(--ink-2); background: var(--paper); }
button.chk-btn:hover { border-color: currentColor; }
span.chk-btn { cursor: default; }

/* ---- the sheet: one line of music for each line of the pasted tab */
.sheet { background: var(--surface); border: 1px solid var(--line); border-radius: 6px; display: flex; flex-direction: column; min-width: 0; }
.sheet-head { display: flex; align-items: baseline; justify-content: space-between; gap: 8px 20px; flex-wrap: wrap; padding: 16px 22px 0; }
.sheet-head h2 { font-family: var(--font-display); font-weight: 700; font-size: 20px; letter-spacing: -0.01em; margin: 0; }
.legend { margin: 0; padding: 0; list-style: none; display: flex; flex-wrap: wrap; gap: 4px 16px; font-size: 13px; color: var(--ink-2); }
.legend li { display: inline-flex; align-items: center; gap: 6px; }
.sw { width: 14px; height: 10px; border-radius: 2px; display: inline-block; flex: none; }
.sw.red { background: var(--red-soft); border: 1px solid var(--red); }
.sw.est { border-bottom: 2px dotted var(--ink-2); }
.sw.blue { background: var(--blue); }
/* the editing tools stay in view while the tab scrolls under them */
.edit {
  position: sticky; top: 0; z-index: 3; display: flex; flex-direction: column; gap: 9px;
  background: var(--surface); border-bottom: 1px solid var(--line); padding: 10px 22px; margin-top: 8px;
}
.edit-top { display: flex; align-items: center; justify-content: space-between; gap: 6px 16px; flex-wrap: wrap; }
.edit-status { margin: 0; font-size: 14px; color: var(--ink-2); flex: 1 1 280px; min-width: 0; min-height: 1.5em; }
.edit-status b { color: var(--ink); font-weight: 600; }
.edit-status .off { color: var(--red); font-weight: 600; }
.edit-hist { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; }
.edit-count { font-size: 13px; color: var(--ink-2); margin-right: 4px; white-space: nowrap; }
.edit-tools { display: flex; flex-wrap: wrap; gap: 8px 20px; align-items: center; }
.grp { display: flex; align-items: center; gap: 4px; min-width: 0; }
.grp-name { font-size: 11px; font-weight: 600; letter-spacing: 0.05em; text-transform: uppercase; color: var(--ink-2); margin-right: 3px; white-space: nowrap; }
.tool {
  font-family: var(--font-body); font-size: 13px; font-weight: 600; line-height: 1; white-space: nowrap; cursor: pointer;
  min-width: 30px; height: 30px; padding: 0 9px; border: 1px solid var(--line); border-radius: 5px; background: var(--surface); color: var(--ink);
}
.tool:hover { border-color: var(--ink-2); }
.tool:focus-visible, .edit select:focus-visible, .edit input:focus-visible { outline: 2px solid var(--blue); outline-offset: 1px; }
.tool[aria-pressed="true"] { background: var(--blue); border-color: var(--blue); color: var(--on-blue); }
.tool[disabled] { opacity: 0.4; cursor: not-allowed; }
.tool.len { font-family: var(--font-mono); font-size: 12px; padding: 0 6px; }
.tool.warn { color: var(--red); }
.tool.warn.armed { background: var(--red); border-color: var(--red); color: var(--surface); }
.edit select, .edit input[type="text"] {
  font-family: var(--font-body); font-size: 13px; color: var(--ink); background: var(--surface);
  height: 30px; border: 1px solid var(--line); border-radius: 5px; padding: 0 7px; min-width: 0;
}
.edit #ed-fret { width: 40px; text-align: center; font-family: var(--font-mono); font-size: 14px; font-weight: 600; padding: 0 2px; }
.edit #ed-section { width: 150px; }
.edit #ed-slide { width: 132px; }
@media (pointer: coarse) {
  .tool, .edit select, .edit input[type="text"] { height: 38px; }
  .tool { min-width: 38px; }
}
/* the list of keys is for a keyboard: a screen that is only touched does without it */
@media (hover: none) and (pointer: coarse) { .keys { display: none; } }

.proof { display: flex; flex-direction: column; gap: 6px; padding: 10px 22px 22px; min-width: 0; }
.proof:focus { outline: none; }
.proof:focus-visible { box-shadow: inset 0 0 0 2px var(--blue); border-radius: 0 0 6px 6px; }
.proof svg { display: block; max-width: 100%; height: auto; overflow: visible; scroll-margin: calc(var(--tools-h, 150px) + 14px) 0 30px; }
.proof.can-edit svg { cursor: pointer; -webkit-tap-highlight-color: transparent; }
.keys { margin: 0; padding: 12px 22px 16px; border-top: 1px solid var(--line); color: var(--ink-2); font-size: 13px; line-height: 1.9; max-width: none; }
.empty { padding: 26px 22px; color: var(--ink-2); display: flex; flex-direction: column; gap: 8px; }
.empty code { font-family: var(--font-mono); font-size: 13px; color: var(--ink); }
.foot { margin: 0; color: var(--ink-2); font-size: 13.5px; max-width: 78ch; }
.foot a { color: inherit; }
.foot a:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }

/* ---- the proof itself */
.proof .st { stroke: var(--staff); stroke-width: 1; }
.proof .bl { stroke: var(--ink); stroke-width: 1; }
.proof .bl2 { stroke: var(--ink); stroke-width: 3; }
.proof .dot { fill: var(--ink); }
.proof .tint { fill: var(--red-soft); }
.proof .hl { fill: var(--blue-soft); opacity: 0; }
.proof g.hit .hl { animation: hit 1.6s ease-out; }
@keyframes hit { 0% { opacity: 1; } 60% { opacity: 1; } 100% { opacity: 0; } }
.proof .nb { fill: var(--surface); }
.proof .tinted .nb { fill: var(--red-soft); }
.proof .nm { font-family: var(--font-mono); font-size: 11px; font-weight: 600; fill: var(--ink); text-anchor: middle; }
.proof .nm.tie { fill: var(--ink-2); font-weight: 400; }
.proof .nm.moved { fill: var(--blue); }
.proof .fx { stroke: var(--ink); stroke-width: 1.2; fill: none; }
.proof .stem { stroke: var(--ink); stroke-width: 1.2; }
.proof .beam { stroke: var(--ink); stroke-width: 2.6; }
.proof .est .stem, .proof .est .beam { stroke: var(--ink-2); }
.proof .rest { stroke: var(--ink-2); stroke-width: 1.5; fill: none; stroke-linecap: round; stroke-linejoin: round; }
.proof .restf { fill: var(--ink-2); }
.proof .mrest { stroke: var(--ink); stroke-width: 5; }
.proof .mnum { font-family: var(--font-display); font-size: 14px; font-weight: 700; fill: var(--ink); text-anchor: middle; }
.proof .tup { font-family: var(--font-body); font-size: 8.5px; font-style: italic; font-weight: 600; fill: var(--ink); text-anchor: middle; }
.proof .added .rest { stroke: var(--red); }
.proof .added .restf { fill: var(--red); }
.proof .sec { font-family: var(--font-body); font-size: 11px; font-weight: 600; fill: var(--blue); }
.proof .num { font-family: var(--font-mono); font-size: 8.5px; fill: var(--ink-2); }
.proof .volta { stroke: var(--ink); stroke-width: 1; fill: none; }
.proof .vt { font-family: var(--font-mono); font-size: 9px; font-weight: 600; fill: var(--ink); }
.proof .estmark { stroke: var(--ink-2); stroke-width: 1.5; stroke-dasharray: 1 3; stroke-linecap: round; }
.proof .redmark { fill: var(--red); }
.proof .cur-band { fill: var(--blue); opacity: 0.1; pointer-events: none; }
.proof .cur-box { fill: none; stroke: var(--blue); stroke-width: 1.8; pointer-events: none; }
.proof:focus .cur-box { stroke-width: 2.4; }

@media (max-width: 900px) {
  .bench { grid-template-columns: minmax(0, 1fr); }
  #tab-input { flex: none; height: 320px; min-height: 240px; resize: vertical; }
  .drop { flex: none; min-height: 240px; }
  .web { flex: none; min-height: 0; }
}
@media (max-width: 760px) {
  /* one row of tools that slides sideways, so the tab keeps most of the screen */
  .edit-tools { flex-wrap: nowrap; overflow-x: auto; padding-bottom: 6px; scrollbar-width: thin; }
  .grp { flex: none; }
  .edit-status { min-height: 3em; }
}
@media (max-width: 480px) {
  body { padding-inline: 16px; padding-block: 20px 40px; }
  .field.wide { grid-column: auto; }
  .result-top, .checks { padding-inline: 14px; }
  .proof, .sheet-head, .edit, .keys { padding-inline: 14px; }
}
@media (prefers-reduced-motion: reduce) { .proof g.hit .hl { animation: none; } .lock.bump { animation: none; } }