/* schedlab -- dispatch board meets solver trace.
   The board is the artifact this domain actually uses: technician rows, day
   columns, cards moved by hand. Type is industrial-condensed for board labels
   and monospaced for anything the solver measured. */

:root {
  --board:      #e3e6e8;
  --board-deep: #d3d8db;
  --card:       #f4f6f7;
  --ink:        #14181b;
  --ink-2:      #454f55;
  --ink-3:      #6f7c83;
  --rule:       #bcc4c8;
  --rule-soft:  #ced5d8;
  --sea:        #27545e;
  --sea-2:      #3c7480;
  --sea-3:      #79a3ac;
  --brass:      #a07223;
  --brass-lift: #c99a3f;
  --signal:     #b23a22;
  --signal-bg:  #f6e2dc;
  --good:       #2f6b4f;

  --gut: 18px;
  --radius: 0;
  --shadow: 0 1px 0 var(--rule), 0 2px 6px rgba(20, 24, 27, .06);

  --sans: "Barlow", system-ui, -apple-system, "Segoe UI", sans-serif;
  --cond: "Barlow Condensed", "Barlow", system-ui, sans-serif;
  --mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, monospace;
}

* { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  background: var(--board);
  color: var(--ink);
  font: 400 15px/1.5 var(--sans);
  /* the faint grid of a laminated planning board */
  background-image:
    linear-gradient(var(--rule-soft) 1px, transparent 1px),
    linear-gradient(90deg, var(--rule-soft) 1px, transparent 1px);
  background-size: 44px 44px, 44px 44px;
  background-position: -1px -1px;
}

h1, h2, h3 { margin: 0; font-family: var(--cond); font-weight: 700; }
button, input, select { font: inherit; color: inherit; }
a { color: var(--sea); text-underline-offset: 3px; }

.mono { font-family: var(--mono); font-variant-numeric: tabular-nums; }

/* ── top bar ───────────────────────────────────────────────────── */

.topbar {
  display: flex; flex-wrap: wrap; gap: var(--gut);
  align-items: flex-end; justify-content: space-between;
  padding: 16px 24px;
  background: var(--ink);
  color: var(--card);
  border-bottom: 3px solid var(--brass);
}

.brand { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.brand-mark { color: var(--brass-lift); font-size: 20px; line-height: 1; }
.brand-name {
  font-family: var(--cond); font-weight: 700; font-size: 27px;
  letter-spacing: .04em; text-transform: lowercase;
}
.brand-sub {
  font-family: var(--cond); font-weight: 500; font-size: 13px;
  letter-spacing: .16em; text-transform: uppercase; color: var(--sea-3);
}

.topbar-controls { display: flex; gap: 12px; align-items: flex-end; flex-wrap: wrap; }

.field { display: flex; flex-direction: column; gap: 4px; }
.field-label {
  font-family: var(--cond); font-size: 11px; font-weight: 600;
  letter-spacing: .14em; text-transform: uppercase; color: var(--sea-3);
}
.field select, .field input { min-width: 170px; }
.field-narrow input { min-width: 76px; font-family: var(--mono); }

select, input[type="number"], input[type="text"] {
  background: var(--card); color: var(--ink);
  border: 1px solid var(--rule); border-radius: var(--radius);
  padding: 7px 9px;
}
select:focus-visible, input:focus-visible, button:focus-visible,
summary:focus-visible, [tabindex]:focus-visible {
  outline: 2px solid var(--brass-lift); outline-offset: 2px;
}

/* ── buttons ───────────────────────────────────────────────────── */

.btn {
  font-family: var(--cond); font-weight: 600; font-size: 15px;
  letter-spacing: .06em; text-transform: uppercase;
  padding: 8px 15px; cursor: pointer;
  background: var(--card); color: var(--ink);
  border: 1px solid var(--ink); border-radius: var(--radius);
  transition: background .12s ease, color .12s ease;
}
.btn:hover:not(:disabled) { background: var(--ink); color: var(--card); }
.btn:disabled { opacity: .45; cursor: not-allowed; }
.btn-primary { background: var(--brass); border-color: var(--brass); color: #fff; }
.btn-primary:hover:not(:disabled) { background: var(--brass-lift); border-color: var(--brass-lift); color: var(--ink); }
.btn-sm { font-size: 13px; padding: 6px 11px; }
.btn-ghost { background: transparent; border-color: var(--rule); color: var(--ink-2); }
.btn-ghost:hover:not(:disabled) { background: var(--ink-2); color: var(--card); border-color: var(--ink-2); }
.btn.is-busy { position: relative; color: transparent; }
.btn.is-busy::after {
  content: "solving"; position: absolute; inset: 0;
  display: grid; place-items: center; color: #fff; font-size: 13px;
}

/* ── layout ────────────────────────────────────────────────────── */

main {
  max-width: 1500px; margin: 0 auto; padding: var(--gut);
  display: grid; gap: var(--gut);
  grid-template-columns: minmax(320px, 400px) 1fr;
  grid-template-areas: "controls compare" "board board";
}
.controls { grid-area: controls; }
.compare  { grid-area: compare; }
.board-panel { grid-area: board; }

/* A grid item defaults to min-width:auto, so the board's 880px inner grid
   would widen its column instead of scrolling inside it -- which pushes the
   whole page sideways and cuts the metric values off the right edge on a
   phone. These four lines are what keep the page from scrolling horizontally. */
main > * { min-width: 0; }
.board, .compare-grid, .col, .rows, .row { min-width: 0; }
.row dt, .row dd { min-width: 0; overflow-wrap: anywhere; }

@media (max-width: 1020px) {
  main { grid-template-columns: 1fr; grid-template-areas: "controls" "compare" "board"; }
}

.panel {
  background: var(--card);
  border: 1px solid var(--rule);
  box-shadow: var(--shadow);
  padding: 16px 18px 18px;
}

.panel-title {
  font-size: 13px; letter-spacing: .16em; text-transform: uppercase;
  color: var(--ink-2); margin-bottom: 14px;
  padding-bottom: 8px; border-bottom: 1px solid var(--rule);
}

.banner {
  margin: 0; padding: 11px 24px;
  background: var(--signal-bg); color: var(--signal);
  border-bottom: 1px solid var(--signal);
  font-size: 14px;
}
.banner.is-info { background: #e6eef0; color: var(--sea); border-color: var(--sea-3); }

/* ── controls ──────────────────────────────────────────────────── */

.primary-controls { display: grid; gap: 16px; }
.control { display: grid; gap: 7px; align-content: start; }
.control-label {
  font-family: var(--cond); font-size: 12px; font-weight: 600;
  letter-spacing: .12em; text-transform: uppercase; color: var(--ink-2);
  display: flex; justify-content: space-between; gap: 8px; align-items: baseline;
}
.control-label output { font-size: 13px; color: var(--brass); letter-spacing: 0; }
/* Wrap on every width, not just narrow ones. A select's intrinsic minimum is
   the width of its longest option -- "T001 - 195 min - S11" and the like -- so
   a non-wrapping row of three of them plus a button spilled the 400px controls
   panel by 120px at desktop width while looking fine on a phone, where the
   mobile media query happened to set flex-wrap. min-width:0 is what actually
   lets a flex item shrink below that intrinsic content width. */
.control-row { display: flex; flex-wrap: wrap; gap: 7px; align-items: center; }
.control-row > * { min-width: 0; }
.control-row select, .control-row input { min-width: 0; max-width: 100%; }
.control-row .grow { flex: 1 1 150px; min-width: 0; }
.control-row .btn { flex: 0 0 auto; }
.control-note { margin: 0; font-size: 12.5px; color: var(--ink-3); }

input[type="range"] { width: 100%; accent-color: var(--brass); }

.drawer { margin-top: 16px; border-top: 1px solid var(--rule); padding-top: 12px; }
.drawer > summary {
  cursor: pointer; list-style: none;
  font-family: var(--cond); font-size: 12px; font-weight: 600;
  letter-spacing: .12em; text-transform: uppercase; color: var(--sea);
}
.drawer > summary::-webkit-details-marker { display: none; }
.drawer-caret { display: inline-block; transition: transform .15s ease; }
.drawer[open] .drawer-caret { transform: rotate(90deg); }
.drawer-grid { display: grid; gap: 14px; margin-top: 14px; }

.overrides {
  margin-top: 16px; padding-top: 12px; border-top: 1px solid var(--rule);
  display: grid; gap: 8px; justify-items: start;
}
.overrides-label {
  font-family: var(--cond); font-size: 12px; font-weight: 600;
  letter-spacing: .12em; text-transform: uppercase; color: var(--ink-2);
}
.chips { display: flex; flex-wrap: wrap; gap: 6px; }
.chips-empty { font-size: 12.5px; color: var(--ink-3); }
.chip {
  display: inline-flex; align-items: center; gap: 7px;
  background: var(--board-deep); border: 1px solid var(--rule);
  padding: 3px 5px 3px 9px; font-size: 12.5px; font-family: var(--mono);
}
.chip button {
  border: 0; background: transparent; cursor: pointer;
  color: var(--ink-3); padding: 0 3px; font-size: 14px; line-height: 1;
}
.chip button:hover { color: var(--signal); }

/* ── comparison ────────────────────────────────────────────────── */

.compare-grid { display: grid; gap: 12px; grid-template-columns: repeat(3, 1fr); }
@media (max-width: 760px) { .compare-grid { grid-template-columns: 1fr; } }

.col { border: 1px solid var(--rule); background: var(--board); padding: 12px; }
.col.is-optimizer { border-color: var(--brass); border-width: 2px; background: #fbf7ef; }
.col.is-dead { background: var(--signal-bg); border-color: var(--signal); }

.col-name {
  font-family: var(--cond); font-size: 15px; font-weight: 700;
  letter-spacing: .05em; text-transform: uppercase; line-height: 1.15;
}
.col-status {
  font-family: var(--mono); font-size: 10.5px; letter-spacing: .08em;
  text-transform: uppercase; color: var(--ink-3); margin-top: 2px;
}

.headline { margin: 12px 0 10px; padding-bottom: 10px; border-bottom: 1px solid var(--rule); }
.headline-value {
  font-family: var(--cond); font-size: 46px; font-weight: 700; line-height: .9;
  font-variant-numeric: tabular-nums;
}
.headline-value.is-zero { color: var(--good); }
.headline-value.is-bad  { color: var(--signal); }
.headline-label {
  font-family: var(--cond); font-size: 11px; font-weight: 600;
  letter-spacing: .13em; text-transform: uppercase; color: var(--ink-2);
  margin-top: 3px;
}

.rows { display: grid; gap: 5px; }
.row { display: flex; justify-content: space-between; gap: 10px; font-size: 13px; }
.row dt { color: var(--ink-2); }
.row dd { margin: 0; font-family: var(--mono); font-variant-numeric: tabular-nums; }
.row dd.best { color: var(--brass); font-weight: 600; }

.breakdown {
  margin-top: 9px; padding-top: 8px; border-top: 1px dashed var(--rule);
  font-family: var(--mono); font-size: 11px; color: var(--signal);
  display: flex; flex-wrap: wrap; gap: 4px 10px;
}

.footnote { margin: 12px 0 0; font-size: 12.5px; color: var(--ink-3); max-width: 78ch; }

/* ── the board ─────────────────────────────────────────────────── */

.board-head { display: flex; flex-wrap: wrap; gap: 12px; align-items: baseline; justify-content: space-between; }
.board-head .panel-title { flex: 1 1 auto; }

.switch { display: flex; gap: 0; margin-bottom: 14px; }
.switch button {
  font-family: var(--cond); font-size: 12.5px; font-weight: 600;
  letter-spacing: .1em; text-transform: uppercase;
  padding: 6px 12px; cursor: pointer;
  background: var(--card); color: var(--ink-2);
  border: 1px solid var(--rule); margin-left: -1px;
}
.switch button:first-child { margin-left: 0; }
.switch button[aria-selected="true"] {
  background: var(--ink); color: var(--card); border-color: var(--ink); position: relative;
}

.board { overflow-x: auto; }

.grid { min-width: 880px; display: grid; grid-template-columns: 132px repeat(var(--days), 1fr); }

.corner { border-bottom: 2px solid var(--ink); }
.day-head {
  font-family: var(--cond); font-size: 12px; font-weight: 600;
  letter-spacing: .1em; text-transform: uppercase; color: var(--ink-2);
  padding: 0 8px 6px; border-bottom: 2px solid var(--ink); border-left: 1px solid var(--rule);
}

.res-cell {
  border-bottom: 1px solid var(--rule); border-right: 2px solid var(--ink);
  padding: 7px 9px 7px 0; text-align: right;
}
.res-name { font-family: var(--cond); font-weight: 600; font-size: 14.5px; letter-spacing: .03em; }
.res-meta { font-family: var(--mono); font-size: 10.5px; color: var(--ink-3); }
.res-cell.is-off .res-name { color: var(--ink-3); text-decoration: line-through; }

.day-cell {
  border-bottom: 1px solid var(--rule); border-left: 1px solid var(--rule);
  padding: 6px 5px; min-height: 46px;
  display: flex; align-items: stretch; gap: 2px;
  background: repeating-linear-gradient(90deg, transparent 0 24px, var(--rule-soft) 24px 25px);
}
.day-cell.is-closed { background: var(--board-deep); }
.day-cell.is-over { box-shadow: inset 0 0 0 2px var(--signal); }

.blk {
  border: 0; cursor: pointer; text-align: left; overflow: hidden;
  padding: 4px 5px; min-width: 16px;
  background: var(--sea-3); color: var(--ink);
  border-left: 3px solid var(--sea);
  transition: filter .12s ease, transform .12s ease;
}
.blk:hover { filter: brightness(1.07); }
.blk.is-selected { outline: 2px solid var(--brass); outline-offset: 1px; }
.blk.t1 { background: #cfdde0; border-left-color: var(--sea-3); }
.blk.t2 { background: #9dbdc4; border-left-color: var(--sea-2); }
.blk.t3 { background: #6e9aa4; border-left-color: var(--sea); color: #0d1416; }
.blk.is-invalid { background: var(--signal-bg); border-left-color: var(--signal); }
.blk.is-injected { border-left-color: var(--brass); border-left-width: 4px; }

.blk-id { font-family: var(--mono); font-size: 10.5px; font-weight: 500; display: block; line-height: 1.25; }
.blk-min { font-family: var(--mono); font-size: 9.5px; color: var(--ink-2); display: block; line-height: 1.2; }
.blk-marks {
  font-family: var(--mono); font-size: 9px; letter-spacing: .1em;
  color: var(--ink-2); opacity: .75; display: block; line-height: 1.2;
}
.travel { flex: 0 0 auto; background: repeating-linear-gradient(45deg, var(--rule) 0 2px, transparent 2px 5px); }
.slack  { flex: 1 1 auto; min-width: 0; }

.legend {
  display: flex; flex-wrap: wrap; gap: 6px 18px; margin-top: 12px;
  font-size: 12px; color: var(--ink-2);
}
.legend span { display: inline-flex; align-items: center; gap: 6px; }
.swatch { width: 15px; height: 11px; display: inline-block; border-left: 3px solid var(--sea); }

/* ── the proof: what stands where the board would be ───────────── */

.proof { border-top: 3px solid var(--signal); padding-top: 18px; }
.proof-head { display: flex; align-items: baseline; gap: 12px; flex-wrap: wrap; }
.proof-kicker {
  font-family: var(--mono); font-size: 11px; letter-spacing: .18em;
  text-transform: uppercase; color: var(--signal);
}
.proof-title { font-size: 27px; line-height: 1.1; max-width: 30ch; }
.proof-note { margin: 10px 0 0; font-size: 13px; color: var(--ink-3); max-width: 82ch; }

.binding { list-style: none; padding: 0; margin: 20px 0 0; display: grid; gap: 10px; }
.binding li { border-left: 3px solid var(--signal); background: var(--board); padding: 10px 13px; }
.binding-kind {
  font-family: var(--mono); font-size: 10.5px; letter-spacing: .1em;
  text-transform: uppercase; color: var(--signal);
}
.binding-text { margin: 3px 0 0; font-size: 14.5px; }
.binding-nums { margin: 6px 0 0; font-family: var(--mono); font-size: 11.5px; color: var(--ink-2); }

.relax { margin-top: 22px; border-top: 1px solid var(--rule); padding-top: 16px; }
.relax h3 { font-size: 13px; letter-spacing: .16em; text-transform: uppercase; color: var(--ink-2); }
.relax-list { display: grid; gap: 9px; margin-top: 12px; }
.relax-item {
  display: flex; gap: 12px; align-items: center; justify-content: space-between;
  flex-wrap: wrap; background: var(--board); border: 1px solid var(--rule); padding: 10px 13px;
}
.relax-text { flex: 1 1 320px; font-size: 14px; }
.relax-flags { display: flex; flex-wrap: wrap; gap: 4px 12px; margin-top: 4px; }
.relax-flag {
  font-family: var(--mono); font-size: 10.5px; letter-spacing: .06em;
  text-transform: uppercase;
}
.relax-flag.ok { color: var(--good); }
.relax-flag.unverified { color: var(--signal); }
.relax-flag.min { color: var(--sea); }
.relax-flag.bound { color: var(--brass); }

.col-caveat {
  margin: -4px 0 10px; font-size: 11.5px; line-height: 1.35; color: var(--ink-3);
  border-left: 2px solid var(--rule); padding-left: 8px;
}

/* --- small screens: the cards must work; the board is told to get wider --- */
.board-narrow-note { display: none; }
@media (max-width: 720px) {
  :root { --gut: 10px; }
  .topbar { padding: 12px 14px; gap: 12px; }
  .topbar-controls { width: 100%; }
  .field { flex: 1 1 auto; }
  .field select, .field input { min-width: 0; width: 100%; }
  .field-narrow { flex: 0 0 74px; }
  .brand-sub { display: none; }
  .board-narrow-note {
    display: block; margin: 0 0 12px; padding: 9px 11px;
    background: var(--board-deep); border-left: 3px solid var(--brass);
    font-size: 12.5px; color: var(--ink-2);
  }
  .headline-value { font-size: 38px; }
  .proof-title { font-size: 21px; }
  .why { width: 100%; }
  .relax-item { flex-direction: column; align-items: stretch; }
}

/* ── why panel ─────────────────────────────────────────────────── */

.why {
  position: fixed; inset: auto 0 0 auto; top: 0; width: min(420px, 100%);
  background: var(--card); border-left: 3px solid var(--brass);
  box-shadow: -8px 0 26px rgba(20,24,27,.16);
  padding: 22px; overflow-y: auto; z-index: 40;
}
.why-close {
  position: absolute; top: 12px; right: 12px; border: 1px solid var(--rule);
  background: var(--card); cursor: pointer; width: 30px; height: 30px; line-height: 1;
}
.why-close:hover { background: var(--ink); color: var(--card); }
.why-kicker {
  font-family: var(--mono); font-size: 10.5px; letter-spacing: .16em;
  text-transform: uppercase; color: var(--brass);
}
.why-title { font-size: 26px; margin-top: 4px; line-height: 1.1; }
.why-sub { font-family: var(--mono); font-size: 12px; color: var(--ink-2); margin: 4px 0 0; }

.why-section { margin-top: 18px; border-top: 1px solid var(--rule); padding-top: 12px; }
.why-section.is-binding { border-top-color: var(--brass); border-top-width: 2px; }
.why-h {
  font-family: var(--cond); font-size: 12px; font-weight: 600;
  letter-spacing: .12em; text-transform: uppercase;
  display: flex; justify-content: space-between; gap: 10px; align-items: baseline;
}
.why-h .tag {
  font-family: var(--mono); font-size: 9.5px; letter-spacing: .1em;
  padding: 1px 5px; border: 1px solid var(--rule); color: var(--ink-3);
}
.why-h .tag.on { color: var(--brass); border-color: var(--brass); }
.why-line { margin: 6px 0 0; font-size: 13.5px; color: var(--ink-2); }
.why-line .mono { color: var(--ink); }

@media (prefers-reduced-motion: reduce) {
  * { transition: none !important; animation: none !important; }
}

.foot {
  max-width: 1500px; margin: 0 auto; padding: 6px var(--gut) 34px;
  font-size: 12.5px; color: var(--ink-3);
}
.foot p { max-width: 82ch; }


/* Only ever visible with ?debug=1. */
#overflow-debug {
  margin: 0; padding: 8px 10px; background: var(--ink); color: #7fe0a0;
  font-family: var(--mono); font-size: 10px; line-height: 1.45;
  white-space: pre-wrap; word-break: break-all; position: relative; z-index: 99;
}