/* The look of Shlok Vaishnav's site: Literata for text, Instrument Sans for small labels. Credits: assets/CREDITS.md */
@font-face { font-family: "Literata"; src: url("assets/fonts/literata.woff2") format("woff2"); font-weight: 200 900; font-style: normal; font-display: swap; }
@font-face { font-family: "Instrument Sans"; src: url("assets/fonts/instrument-sans.woff2") format("woff2"); font-weight: 400 700; font-style: normal; font-display: swap; }

:root {
  --paper: #fbfbfc; --ink: #17191f; --muted: #5c6370; --rule: #e2e5ea; --accent: #8c2346; --chip: #f0f1f4;
  --c2: #2b6c8a; --c3: #6b7280; --good: #2f7d4f; --bad: #b3261e;
  --serif: "Literata", Georgia, "Times New Roman", serif;
  --sans: "Instrument Sans", system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  color-scheme: light dark;
}
@media (prefers-color-scheme: dark) {
  :root { --paper: #14151a; --ink: #e9e8ec; --muted: #9a9ba6; --rule: #2a2c34; --accent: #f19ab6; --chip: #1d1f26; --c2: #7fc0de; --c3: #a3a8b3; --good: #7cc99a; --bad: #f2948d; }
}
* { box-sizing: border-box; }
html { font-size: 17px; -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 1rem/1.7 var(--serif); text-rendering: optimizeLegibility; }
main { max-width: 52rem; margin: 0 auto; padding: 3rem clamp(1.25rem, 4vw, 2.5rem) 2rem; }
footer { max-width: 52rem; margin: 2rem auto 0; padding: 1.25rem clamp(1.25rem, 4vw, 2.5rem) 3rem; border-top: 1px solid var(--rule); color: var(--muted); font: .85rem/1.5 var(--sans); }
footer p { margin: .2rem 0; }
footer p a + a { margin-left: 1.4rem; }
a { color: var(--accent); text-decoration-thickness: 1px; text-underline-offset: .2em; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 3px; }
.skip { position: absolute; left: -999px; }
.skip:focus { left: 1rem; top: 1rem; z-index: 1; background: var(--paper); padding: .35rem .7rem; }

.crumb { margin: 0 0 1.75rem; font: 500 .92rem/1.4 var(--sans); }
.crumb a { color: var(--ink); text-decoration: none; }
.crumb a:hover { color: var(--accent); }
.icon { display: inline-block; width: 1.1em; height: 1.1em; vertical-align: -.15em; fill: currentColor; }
h1 { margin: 0; font: 600 clamp(2rem, 6vw, 2.7rem)/1.1 var(--serif); letter-spacing: -.02em; }
.lead { margin: .9rem 0 0; font-size: 1.15rem; line-height: 1.6; }
.buttons { display: flex; flex-wrap: wrap; gap: .7rem; margin: 1.5rem 0 0; }
.btn { display: inline-flex; align-items: center; gap: .5rem; padding: .5rem 1rem; font: 500 .92rem/1.4 var(--sans); color: var(--ink); text-decoration: none; border: 1px solid var(--rule); border-radius: 8px; }
.btn:hover { color: var(--accent); border-color: var(--accent); }

.stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(8rem, 1fr)); gap: 1.25rem 1.5rem; margin: 2.25rem 0 0; padding: 1.25rem 0; border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); }
.stat dt { font: 600 1.7rem/1.2 var(--serif); letter-spacing: -.01em; }
.stat dd { margin: .2rem 0 0; font: .85rem/1.45 var(--sans); color: var(--muted); }

h2 { margin: 3rem 0 .6rem; font: 600 1.4rem/1.3 var(--serif); letter-spacing: -.01em; }
h3 { margin: 2.25rem 0 .3rem; font: 600 1.08rem/1.35 var(--serif); }
p { margin: .7rem 0; }
.muted { color: var(--muted); }
.note { padding-left: 1rem; border-left: 3px solid var(--accent); color: var(--muted); }
.steps { margin: .7rem 0; padding-left: 1.3rem; }
.steps li { margin: .35rem 0; padding-left: .2rem; }
.steps li::marker { color: var(--accent); font-family: var(--sans); }
ul.points { margin: .7rem 0; padding-left: 1.3rem; }
ul.points li { margin: .4rem 0; padding-left: .2rem; }
ul.points li::marker { color: var(--accent); }
code { padding: .05em .3em; background: var(--chip); border-radius: 4px; font: .88em var(--mono); }

figure { margin: 1rem 0 0; }
figcaption { margin: .6rem 0 0; font: .9rem/1.55 var(--sans); color: var(--muted); }
.chart { min-height: 4rem; }
.chart-title { margin: 1.1rem 0 .1rem; font: 600 .92rem/1.4 var(--sans); }
.chart-error { padding: .8rem 1rem; border: 1px solid var(--rule); border-radius: 8px; font: .9rem/1.5 var(--sans); color: var(--muted); }

.bars { list-style: none; margin: .5rem 0 0; padding: 0; }
.bar { display: grid; grid-template-columns: minmax(7rem, 11rem) 1fr auto; align-items: center; gap: .3rem .9rem; margin: .55rem 0; font: .92rem/1.4 var(--sans); }
.bar-track { position: relative; height: .95rem; border-radius: 4px; }
.bar-total { position: absolute; inset: 0 auto 0 0; background: var(--chip); border-radius: 4px; }
.bar-fill { position: absolute; inset: 0 auto 0 0; background: var(--accent); border-radius: 4px; min-width: 2px; }
.bar-fill.muted { background: var(--c3); }
.bar-value { font-variant-numeric: tabular-nums; text-align: right; white-space: nowrap; }
@media (max-width: 34rem) { .bar { grid-template-columns: 1fr auto; } .bar-track { grid-column: 1 / -1; grid-row: 2; } }

.line-chart { display: block; width: 100%; height: auto; margin-top: .5rem; font-family: var(--sans); }
.line-chart .grid { stroke: var(--rule); stroke-width: 1; }
.line-chart .axis { stroke: var(--muted); stroke-width: 1; }
.line-chart .tick { fill: var(--muted); font-size: 12px; }
.line-chart .label { fill: var(--muted); font-size: 12.5px; }
.line-chart .marker { stroke: var(--muted); stroke-width: 1; stroke-dasharray: 4 4; }
.line-chart .marker-text { fill: var(--muted); font-size: 12px; }
.line-chart .line { fill: none; stroke-width: 2.4; stroke-linejoin: round; stroke-linecap: round; }
.line-chart .dashed { stroke-dasharray: 6 5; }
.s1 { stroke: var(--accent); color: var(--accent); } .s2 { stroke: var(--c2); color: var(--c2); } .s3 { stroke: var(--c3); color: var(--c3); }
.line-chart .dot { stroke: none; } .line-chart .dot.s1 { fill: var(--accent); } .line-chart .dot.s2 { fill: var(--c2); } .line-chart .dot.s3 { fill: var(--c3); }
.legend { display: flex; flex-wrap: wrap; gap: .3rem 1.4rem; margin: .5rem 0 0; padding: 0; list-style: none; font: .88rem/1.4 var(--sans); }
.legend li { display: inline-flex; align-items: center; gap: .5rem; }
.swatch { display: inline-block; width: 1.6rem; height: 0; border-top: 3px solid currentColor; }
.swatch.dashed { border-top-style: dashed; }

details.numbers { margin: .7rem 0 0; font: .9rem/1.5 var(--sans); }
details.numbers summary { cursor: pointer; color: var(--muted); }
details.numbers summary:hover { color: var(--accent); }
table { width: 100%; margin-top: .6rem; border-collapse: collapse; font: .88rem/1.45 var(--sans); font-variant-numeric: tabular-nums; }
caption { text-align: left; color: var(--muted); padding-bottom: .3rem; }
th, td { padding: .35rem .6rem; border: 1px solid var(--rule); text-align: left; }
thead th { background: var(--chip); }
.table-wrap { overflow-x: auto; }

@media (max-width: 34rem) { main { padding-top: 2rem; } }
@media (prefers-reduced-motion: reduce) { * { transition: none !important; } }
@media print { .skip, .buttons { display: none !important; } a { color: inherit; text-decoration: none; } }

/* ---- App parts: tabs, controls, the scheduler lab, the playground ---- */
.tabs { display: flex; gap: .3rem; margin: 2.25rem 0 0; border-bottom: 1px solid var(--rule); overflow-x: auto; }
.tab { appearance: none; background: none; border: 0; border-bottom: 2px solid transparent; padding: .6rem .9rem; margin-bottom: -1px; font: 500 .95rem/1.3 var(--sans); color: var(--muted); cursor: pointer; white-space: nowrap; }
.tab:hover { color: var(--ink); }
.tab[aria-selected="true"] { color: var(--accent); border-bottom-color: var(--accent); }
.panel[hidden] { display: none; }
.panel > h2:first-child { margin-top: 2rem; }
.controls { display: flex; flex-wrap: wrap; gap: .6rem 1.2rem; align-items: center; margin: .9rem 0 0; font: .9rem/1.4 var(--sans); }
.controls label { display: inline-flex; align-items: center; gap: .45rem; color: var(--muted); }
select, input[type="number"], input[type="text"], input[type="url"], textarea { font: .9rem var(--sans); color: var(--ink); background: var(--paper); border: 1px solid var(--rule); border-radius: 6px; padding: .3rem .5rem; }
input[type="number"] { width: 5rem; }
textarea { width: 100%; min-height: 5rem; font: .95rem/1.5 var(--serif); padding: .6rem .7rem; }
input[type="range"] { accent-color: var(--accent); }
button.btn { background: none; cursor: pointer; }
.btn-primary, button.btn.btn-primary { background: var(--accent); border-color: var(--accent); color: var(--paper); }
.btn-primary:hover { color: var(--paper); filter: brightness(1.08); }
.btn[disabled] { opacity: .5; cursor: not-allowed; }
.readout { font: 600 1.3rem/1.2 var(--serif); font-variant-numeric: tabular-nums; }

.pool { display: grid; grid-template-columns: repeat(auto-fill, minmax(2.1rem, 1fr)); gap: 4px; margin: .7rem 0 0; }
.cell { aspect-ratio: 1; border-radius: 5px; border: 1px solid var(--rule); display: grid; place-items: center; font: 600 .72rem/1 var(--sans); color: #fff; transition: background-color .25s; }
.cell.free { background: var(--chip); color: var(--muted); font-weight: 400; }
.queues { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; margin: 1rem 0 0; }
.queue h4 { margin: 0 0 .4rem; font: 600 .9rem/1.3 var(--sans); color: var(--muted); }
.queue ol { display: flex; flex-wrap: wrap; gap: .35rem; min-height: 2rem; margin: 0; padding: 0; list-style: none; }
.seq { display: inline-flex; gap: .35rem; align-items: center; padding: .2rem .55rem; border-radius: 999px; font: 600 .8rem/1.4 var(--sans); color: #fff; }
.seq small { font-weight: 400; opacity: .9; }
.timeline { display: grid; gap: 2px; margin: .7rem 0 0; overflow-x: auto; font: .75rem/1 var(--sans); }
.timeline .row-label { color: var(--muted); padding-right: .4rem; white-space: nowrap; display: flex; align-items: center; }
.tl { height: 1.1rem; border-radius: 2px; }
.tl.waiting { background: color-mix(in srgb, var(--c3) 35%, transparent); }
.tl.preempted { background: var(--bad); }
.tl.finished { background: transparent; }
.tl.none { background: transparent; }
.log { margin: .8rem 0 0; padding: .7rem .9rem; max-height: 9rem; overflow-y: auto; border: 1px solid var(--rule); border-radius: 8px; font: .85rem/1.5 var(--mono); color: var(--muted); }
.log p { margin: 0; }
.log .pre { color: var(--bad); }
.compare { margin: .9rem 0 0; }

.lanes { display: grid; gap: .8rem; margin: 1rem 0 0; }
.lane { border: 1px solid var(--rule); border-radius: 10px; padding: .75rem .9rem; }
.lane header { display: flex; flex-wrap: wrap; gap: .3rem 1rem; font: .82rem/1.4 var(--sans); color: var(--muted); }
.lane header strong { color: var(--ink); }
.lane .text { margin: .4rem 0 0; white-space: pre-wrap; font: .95rem/1.55 var(--serif); }
.lane .text .prompt { color: var(--muted); }
.status { margin: .9rem 0 0; font: .9rem/1.5 var(--sans); color: var(--muted); }
.status.ok { color: var(--good); } .status.err { color: var(--bad); }
.gantt { margin: .8rem 0 0; }
.gbar { display: grid; grid-template-columns: 4rem 1fr; align-items: center; gap: .6rem; margin: .3rem 0; font: .82rem/1.3 var(--sans); }
.gtrack { position: relative; height: 1rem; background: var(--chip); border-radius: 4px; }
.gwait { position: absolute; top: 0; bottom: 0; background: var(--c3); opacity: .45; border-radius: 4px 0 0 4px; }
.ggen { position: absolute; top: 0; bottom: 0; background: var(--accent); border-radius: 0 4px 4px 0; }
pre.cmd { overflow-x: auto; padding: .7rem .9rem; background: var(--chip); border-radius: 8px; font: .85rem/1.5 var(--mono); }
@media (max-width: 34rem) { .queues { grid-template-columns: 1fr; } }