/* Codify the Code -- restrained, document-like styling. Serif for reading
   text (headings, prose, labels), monospace for citations/statute words and
   the trace, so a citation is always visually distinct from a label. */

:root {
  --bg: #f6f4ef;
  --bg-raised: #ffffff;
  --ink: #1c1a16;
  --ink-dim: #5a564c;
  --rule: #d8d3c6;
  --accent: #6b3a2c;
  --accent-ink: #ffffff;
  --answer: #2f6b4f;
  --answer-bg: #e9f2ec;
  --stop: #8a3b2b;
  --stop-bg: #f7ece7;
  --discretion: #8a6a1f;
  --discretion-bg: #f7f0dc;
  --conflict: #7a3b7a;
  --conflict-bg: #f3e8f3;
  --undefined: #3b5a8a;
  --undefined-bg: #e7edf7;
  --muted-bg: #efece3;
  --focus: #3b5a8a;

  --serif: Georgia, "Iowan Old Style", "Palatino Linotype", "Book Antiqua", serif;
  --mono: ui-monospace, "SF Mono", "Cascadia Code", "Roboto Mono", Menlo, Consolas, monospace;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #17140f;
    --bg-raised: #211d16;
    --ink: #ece7db;
    --ink-dim: #b3ab98;
    --rule: #423c30;
    --accent: #d9a98a;
    --accent-ink: #17140f;
    --answer: #7fcba3;
    --answer-bg: #1c2b22;
    --stop: #e2988a;
    --stop-bg: #2c1f1b;
    --discretion: #e4c878;
    --discretion-bg: #2c2718;
    --conflict: #d79ad7;
    --conflict-bg: #2a1f2a;
    --undefined: #9db6e0;
    --undefined-bg: #1c2432;
    --muted-bg: #221e17;
    --focus: #9db6e0;
  }
}

* { box-sizing: border-box; }

body {
  background: var(--bg);
  color: var(--ink);
  font-family: var(--serif);
  line-height: 1.55;
  padding-inline: max(16px, calc((100vw - 760px) / 2));
  padding-block: 24px 64px;
}

a { color: var(--accent); }

.cite, code, .mono {
  font-family: var(--mono);
  font-size: 0.92em;
}

header.top {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 12px;
  flex-wrap: wrap;
  border-bottom: 2px solid var(--ink);
  padding-block-end: 10px;
  margin-block-end: 24px;
}

header.top h1 {
  font-size: 1.5rem;
  margin: 0;
  letter-spacing: 0.01em;
}

header.top .tagline {
  color: var(--ink-dim);
  font-size: 0.9rem;
  margin-block-start: 2px;
}

button.link-btn {
  background: none;
  border: 1px solid var(--rule);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 0.9rem;
  padding: 6px 12px;
  border-radius: 3px;
  cursor: pointer;
}
button.link-btn:hover { border-color: var(--accent); color: var(--accent); }

section.card {
  background: var(--bg-raised);
  border: 1px solid var(--rule);
  border-radius: 6px;
  padding: 18px 20px;
  margin-block-end: 20px;
}

section.card > h2 {
  margin-block-start: 0;
  font-size: 1.05rem;
  border-bottom: 1px solid var(--rule);
  padding-block-end: 8px;
}

label { display: block; font-size: 0.92rem; margin-block-end: 4px; color: var(--ink-dim); }

select, input[type="date"], input[type="text"], input[type="number"] {
  font-family: var(--serif);
  font-size: 0.95rem;
  padding: 6px 8px;
  border: 1px solid var(--rule);
  border-radius: 4px;
  background: var(--bg);
  color: var(--ink);
  width: 100%;
  max-width: 420px;
}

.field-row {
  display: flex;
  gap: 16px;
  flex-wrap: wrap;
  align-items: flex-end;
  margin-block-end: 14px;
}

.field-row > div { flex: 1 1 220px; min-width: 200px; }

.hint { color: var(--ink-dim); font-size: 0.82rem; margin-block-start: 3px; }

button.run {
  background: var(--accent);
  color: var(--accent-ink);
  border: none;
  padding: 10px 22px;
  font-family: var(--serif);
  font-size: 1rem;
  border-radius: 4px;
  cursor: pointer;
}
button.run:disabled { opacity: 0.45; cursor: not-allowed; }
button.run:not(:disabled):hover { filter: brightness(1.08); }

details.group {
  border: 1px solid var(--rule);
  border-radius: 4px;
  margin-block-end: 10px;
  background: var(--bg);
}
details.group > summary {
  cursor: pointer;
  padding: 10px 14px;
  font-weight: bold;
  list-style: none;
}
details.group > summary::-webkit-details-marker { display: none; }
details.group > summary::before { content: "\25B8  "; }
details.group[open] > summary::before { content: "\25BE  "; }
details.group .group-body { padding: 4px 14px 14px; }

.fact-field {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding-block: 8px;
  border-bottom: 1px dotted var(--rule);
  flex-wrap: wrap;
}
.fact-field:last-child { border-bottom: none; }
.fact-field .fact-label { flex: 1 1 260px; }
.fact-field .fact-label .name { font-size: 0.94rem; }
.fact-field .fact-label .wording {
  display: block;
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--ink-dim);
  margin-block-start: 2px;
}

.tri {
  display: inline-flex;
  border: 1px solid var(--rule);
  border-radius: 999px;
  overflow: hidden;
}
.tri button {
  background: var(--bg-raised);
  border: none;
  padding: 5px 12px;
  font-family: var(--serif);
  font-size: 0.85rem;
  cursor: pointer;
  color: var(--ink-dim);
  border-right: 1px solid var(--rule);
}
.tri button:last-child { border-right: none; }
.tri button.active[data-v="unknown"] { background: var(--muted-bg); color: var(--ink); }
.tri button.active[data-v="yes"] { background: var(--answer-bg); color: var(--answer); }
.tri button.active[data-v="no"] { background: var(--stop-bg); color: var(--stop); }

#stipulations-panel {
  border: 1px solid var(--conflict);
  background: var(--conflict-bg);
  border-radius: 4px;
  padding: 10px 14px;
  margin-block-end: 12px;
}
#stipulations-panel .stip-head { font-weight: bold; font-size: 0.94rem; margin-block-end: 4px; }
#stipulations-list { margin: 0; padding-inline-start: 20px; font-size: 0.9rem; }
#stipulations-list li { margin-block-end: 3px; }

#result-panel { min-height: 40px; }

.banner {
  border-radius: 5px;
  padding: 14px 16px;
  margin-block-end: 16px;
  border: 1px solid;
}
.banner.answer { background: var(--answer-bg); border-color: var(--answer); color: var(--answer); }
.banner.stop-discretion { background: var(--discretion-bg); border-color: var(--discretion); color: var(--discretion); }
.banner.stop-undefined { background: var(--undefined-bg); border-color: var(--undefined); color: var(--undefined); }
.banner.stop-conflict { background: var(--conflict-bg); border-color: var(--conflict); color: var(--conflict); }
.banner.refused { background: var(--stop-bg); border-color: var(--stop); color: var(--stop); }
.banner h3 { margin: 0 0 6px; font-size: 1.05rem; }
.banner p { margin: 0; color: var(--ink); }

.answer-values { font-family: var(--mono); font-size: 0.88rem; background: var(--bg); border: 1px solid var(--rule); border-radius: 4px; padding: 10px 12px; margin-block-start: 10px; white-space: pre-wrap; }

ol.trace { list-style: none; padding: 0; margin: 0; counter-reset: step; }
ol.trace > li {
  counter-increment: step;
  border-left: 3px solid var(--rule);
  padding: 8px 0 8px 14px;
  margin-block-end: 2px;
  font-size: 0.92rem;
}
ol.trace > li::before {
  content: counter(step) ". ";
  color: var(--ink-dim);
  font-family: var(--mono);
}
ol.trace > li[data-type="stop"] { border-left-color: var(--stop); background: var(--stop-bg); }
ol.trace > li[data-type="stop_avoided"] { border-left-color: var(--rule); color: var(--ink-dim); opacity: 0.75; }
ol.trace > li[data-type="canon_fired"] { border-left-color: var(--undefined); }
ol.trace > li[data-type="ordinary_meaning_used"] { border-left-color: var(--discretion); }
ol.trace > li[data-type="external_stipulation"] { border-left-color: var(--conflict); }
ol.trace > li .badge {
  display: inline-block;
  font-family: var(--mono);
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--ink-dim);
  margin-inline-end: 8px;
}
ol.trace > li .desc { color: var(--ink); }
ol.trace > li details { margin-block-start: 4px; }
ol.trace > li pre {
  font-family: var(--mono);
  font-size: 0.8rem;
  background: var(--bg-raised);
  border: 1px solid var(--rule);
  border-radius: 4px;
  padding: 8px;
  overflow-x: auto;
  max-width: 100%;
}

.flag-row { margin-block: 10px; font-size: 0.88rem; color: var(--ink-dim); }

#examples-toolbar { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; margin-block-end: 14px; }

dialog#about-dialog {
  max-width: 680px;
  width: 92vw;
  max-height: 84vh;
  overflow-y: auto;
  border: 1px solid var(--rule);
  border-radius: 8px;
  background: var(--bg-raised);
  color: var(--ink);
  padding: 24px 26px;
}
dialog#about-dialog::backdrop { background: rgba(0,0,0,0.45); }
dialog#about-dialog h2 { margin-block-start: 0; }
dialog#about-dialog h3 { border-bottom: 1px solid var(--rule); padding-block-end: 4px; }
dialog#about-dialog .close-row { text-align: right; margin-block-end: 8px; }

.error-text { color: var(--stop); font-size: 0.88rem; }

footer.note { color: var(--ink-dim); font-size: 0.8rem; margin-block-start: 30px; text-align: center; }

@media (max-width: 560px) {
  .field-row { flex-direction: column; align-items: stretch; }
  .tri button { padding: 6px 9px; font-size: 0.8rem; }
}