:root {
  /* the family's palette (mathzetta-sites/src/site.css, loaded first), under this page's own names */
  --bg: var(--mz-bg);
  --panel: var(--mz-bg);
  --panel-2: var(--mz-soft);
  --ink: var(--mz-fg);
  --ink-2: var(--mz-muted);
  --ink-3: var(--mz-muted);
  --line: var(--mz-line);
  --accent: var(--mz-accent);
  --accent-soft: var(--mz-accent-soft);
  --warn: var(--mz-warn);
  --warn-soft: #fdf1e2;
  --err: var(--mz-err);
  --err-soft: #fbeaea;
  --mono: var(--mz-mono);
  --sans: var(--mz-font);
}

@media (prefers-color-scheme: dark) {
  :root { --warn-soft: #33281a; --err-soft: #341f1f; }
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font: 15px/1.5 var(--sans);
}

header.app {
  display: flex;
  align-items: baseline;
  gap: 20px;
  flex-wrap: wrap;
  padding: 14px 22px;
  border-bottom: 1px solid var(--line);
  background: var(--panel);
  position: sticky;
  top: 0;
  z-index: 10;
}

header.app h1 { font-size: 16px; margin: 0; font-weight: 620; letter-spacing: -0.01em; }
header.app h1 span { color: var(--ink-3); font-weight: 400; }
header.app nav { display: flex; gap: 14px; }
header.app nav a { color: var(--ink-2); text-decoration: none; font-size: 14px; padding-bottom: 2px; }
header.app nav a:hover { color: var(--ink); }
header.app nav a[aria-current] { color: var(--accent); border-bottom: 2px solid var(--accent); }
header.app .spacer { flex: 1; }
header.app .status { font-size: 13px; color: var(--ink-3); }

main {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 18px;
  padding: 18px 22px 60px;
  max-width: 1500px;
  margin: 0 auto;
  align-items: start;
}

@media (max-width: 980px) { main { grid-template-columns: minmax(0, 1fr); } }

.col { display: flex; flex-direction: column; gap: 18px; min-width: 0; }

section {
  background: var(--panel);
  border: 1px solid var(--line);
  border-radius: 10px;
  overflow: hidden;
}

section > h2 {
  margin: 0;
  padding: 10px 14px;
  font-size: 12px;
  font-weight: 620;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--ink-3);
  border-bottom: 1px solid var(--line);
  display: flex;
  align-items: center;
  gap: 8px;
}
section > h2 .count { font-weight: 400; text-transform: none; letter-spacing: 0; }
section > h2 .spacer { flex: 1; }
.body { padding: 14px; }
.body.tight { padding: 0; }

label { display: block; font-size: 12px; color: var(--ink-2); margin-bottom: 5px; }
.hint { font-size: 12px; color: var(--ink-3); margin-top: 6px; }

input[type=text], textarea, select {
  width: 100%;
  padding: 8px 10px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: var(--bg);
  color: var(--ink);
  font: 14px/1.5 var(--sans);
}
input.mono, textarea.mono { font-family: var(--mono); font-size: 13.5px; }
textarea { resize: vertical; }
input:focus, textarea:focus, select:focus { outline: 2px solid var(--accent); outline-offset: -1px; border-color: transparent; }

button {
  font: 13px var(--sans);
  padding: 7px 13px;
  border-radius: 7px;
  border: 1px solid var(--line);
  background: var(--panel-2);
  color: var(--ink);
  cursor: pointer;
}
button:hover { border-color: var(--ink-3); }
button.primary { background: var(--accent); border-color: var(--accent); color: var(--mz-accent-fg); font-weight: 560; }
button.primary:hover { filter: brightness(1.08); }
button.small { padding: 3px 9px; font-size: 12px; }
button.link { background: none; border: none; color: var(--accent); padding: 2px 4px; }
button:disabled { opacity: 0.45; cursor: default; }

.row { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.row.tight { gap: 6px; }
.grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.stack { display: flex; flex-direction: column; gap: 12px; }

code, .mono { font-family: var(--mono); }
.expr {
  font-family: var(--mono);
  font-size: 13.5px;
  background: var(--panel-2);
  padding: 2px 6px;
  border-radius: 5px;
  word-break: break-word;
}
.expr.big { display: block; padding: 10px 12px; font-size: 15px; }
.expr.accent { background: var(--accent-soft); color: var(--accent); }

.tag {
  font-size: 11px;
  padding: 1px 7px;
  border-radius: 20px;
  background: var(--panel-2);
  color: var(--ink-2);
  border: 1px solid var(--line);
  white-space: nowrap;
}
.tag.key { font-family: var(--mono); background: var(--accent-soft); color: var(--accent); border-color: transparent; }

.note { padding: 9px 12px; border-radius: 7px; font-size: 13px; margin-bottom: 12px; }
.note.warn { background: var(--warn-soft); color: var(--warn); }
.note.err { background: var(--err-soft); color: var(--err); white-space: pre-wrap; font-family: var(--mono); font-size: 12.5px; }
.note.ok { background: var(--accent-soft); color: var(--accent); }
.note:empty { display: none; }

.list { list-style: none; margin: 0; padding: 0; }
.list > li { border-bottom: 1px solid var(--line); padding: 11px 14px; }
.list > li:last-child { border-bottom: none; }
.list > li.selectable { cursor: pointer; }
.list > li.selectable:hover { background: var(--panel-2); }
.list > li.on { background: var(--accent-soft); }

.match-head { display: flex; align-items: baseline; gap: 8px; flex-wrap: wrap; margin-bottom: 5px; }
.match-head .name { font-weight: 580; }
.match-arrow { color: var(--ink-3); margin: 0 6px; }
.explain { color: var(--ink-2); font-size: 13px; margin-top: 5px; }
.empty { padding: 18px 14px; color: var(--ink-3); font-size: 13px; text-align: center; }

.tree { font-family: var(--mono); font-size: 13px; margin: 0; }
.tree .node { padding: 2px 0 2px 0; white-space: pre; }
.tree .op { color: var(--accent); font-weight: 600; }
.tree .num { color: var(--ink); }
.tree .sym { color: var(--warn); }
.tree .sub { color: var(--ink-3); }

table.keys { width: 100%; border-collapse: collapse; font-size: 13px; }
table.keys td { padding: 5px 14px; border-bottom: 1px solid var(--line); vertical-align: top; }
table.keys tr:last-child td { border-bottom: none; }
table.keys td.k { font-family: var(--mono); color: var(--accent); white-space: nowrap; width: 1%; }
table.keys td.m { font-family: var(--mono); color: var(--ink-2); white-space: nowrap; width: 1%; }
/* The commentary column is the one that should wrap, not the two data ones. */
table.keys td.r { text-align: right; color: var(--ink-3); font-size: 12px; }

ol.trace { margin: 0; padding: 0 0 0 0; list-style: none; counter-reset: s; }
ol.trace > li { padding: 10px 14px; border-bottom: 1px solid var(--line); counter-increment: s; }
ol.trace > li:last-child { border-bottom: none; }
ol.trace > li::before {
  content: counter(s);
  display: inline-block;
  min-width: 20px; height: 20px; line-height: 20px;
  text-align: center; border-radius: 20px;
  background: var(--panel-2); color: var(--ink-3);
  font-size: 11px; margin-right: 8px;
}

.check { display: flex; align-items: center; gap: 7px; font-size: 13px; color: var(--ink); margin: 0; }
.check input { width: auto; margin: 0; }

.slotrow { display: grid; grid-template-columns: 74px 1fr auto; gap: 8px; align-items: center; }
.pill-row { display: flex; gap: 6px; flex-wrap: wrap; align-items: center; }
.pill {
  display: inline-flex; align-items: center; gap: 5px;
  background: var(--accent-soft); color: var(--accent);
  border-radius: 20px; padding: 2px 4px 2px 10px; font-size: 12px; font-family: var(--mono);
}
.pill button { background: none; border: none; color: inherit; padding: 0 5px; cursor: pointer; font-size: 14px; line-height: 1; }