:root {
  color-scheme: dark;
  --bg: #10191b;
  --panel: #142023;
  --ink: #e3e6da;
  --muted: #97aaa6;
  --line: #2b3a3a;
  --green: #b9cfb0;
  --amber: #dca76b;
  --serif: Georgia, "Times New Roman", serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}
* {
  box-sizing: border-box;
}
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font:
    14px/1.6 system-ui,
    sans-serif;
}
button,
input,
select {
  font: inherit;
}
button,
a,
input,
select {
  -webkit-tap-highlight-color: transparent;
}
button {
  cursor: pointer;
}
button,
select {
  color: var(--ink);
  border: 1px solid var(--line);
  background: transparent;
  border-radius: 3px;
  padding: 9px 12px;
  transition:
    background 0.15s,
    border-color 0.15s;
}
button:hover {
  border-color: var(--green);
  background: #b9cfb00b;
}
button:disabled {
  opacity: 0.45;
  cursor: wait;
}
button:focus-visible,
a:focus-visible,
input:focus-visible,
select:focus-visible {
  outline: 2px solid var(--amber);
  outline-offset: 4px;
}
button[aria-pressed="true"] {
  border-color: var(--amber);
  color: var(--amber);
}
a {
  color: inherit;
}
select {
  width: 100%;
  background: var(--panel);
  padding: 12px 10px;
}
p {
  margin: 0 0 16px;
}
h1,
h2,
h3 {
  font-weight: 400;
  margin: 0;
  font-family: var(--serif);
}
h1 {
  font-size: clamp(44px, 5.7vw, 82px);
  line-height: 1.06;
  letter-spacing: -3px;
}
h1 em {
  color: var(--green);
  font-weight: 400;
}
h2 {
  font-size: 34px;
  line-height: 1.2;
  letter-spacing: -0.7px;
}
h3 {
  font-size: 24px;
}
.masthead {
  margin: 0 4.5%;
  height: 83px;
  border-bottom: 1px solid var(--line);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
}
.wordmark {
  text-decoration: none;
  font: 11px var(--mono);
  letter-spacing: 1.6px;
  display: flex;
  align-items: center;
  gap: 12px;
}
.mark {
  font: 36px var(--serif);
  color: var(--green);
}
.edition {
  font: 9px var(--mono);
  letter-spacing: 1.2px;
  color: var(--muted);
  display: flex;
  align-items: center;
  gap: 13px;
}
.live-dot {
  width: 5px;
  height: 5px;
  background: var(--green);
  border-radius: 100%;
}
.text-button {
  font-size: 11px;
  border: 0;
  color: var(--muted);
  padding: 0;
}
main {
  max-width: 1450px;
  margin: auto;
  padding: 0 4.5%;
}
.intro {
  display: flex;
  justify-content: space-between;
  align-items: flex-end;
  gap: 30px;
  padding: 63px 0 49px;
}
.eyebrow,
.section-label {
  font: 10px/1.5 var(--mono);
  letter-spacing: 1.5px;
  color: var(--muted);
}
.eyebrow {
  margin-bottom: 23px;
}
.intro-note {
  max-width: 330px;
  padding-bottom: 2px;
  line-height: 1.8;
}
.intro-note .fine {
  margin-bottom: 0;
}
.fine {
  font-size: 11px;
  line-height: 1.8;
  color: var(--muted);
}
.tabs {
  display: flex;
  gap: 35px;
  border-bottom: 1px solid var(--line);
  margin-bottom: 37px;
}
.tab {
  padding: 16px 0;
  border: 0;
  border-radius: 0;
  font: 10px var(--mono);
  color: var(--muted);
  letter-spacing: 1px;
  position: relative;
}
.tab span {
  font:
    13px system-ui,
    sans-serif;
  letter-spacing: 0;
  margin-left: 7px;
}
.tab.active {
  color: var(--ink);
  border: 0;
}
.tab.active:after {
  position: absolute;
  bottom: -1px;
  left: 0;
  right: 0;
  height: 2px;
  background: var(--green);
  content: "";
}
.tab .count {
  font: 10px var(--mono);
  padding: 1px 5px;
  border: 1px solid var(--line);
}
.lab-grid {
  display: grid;
  grid-template-columns: 280px minmax(0, 1fr);
  gap: 45px;
}
.controls {
  padding-right: 28px;
  border-right: 1px solid var(--line);
}
.section-label {
  display: flex;
  justify-content: space-between;
  gap: 12px;
}
.rule-heading {
  display: flex;
  align-items: baseline;
  gap: 10px;
  margin: 18px 0 13px;
  font: 34px var(--serif);
}
#rule {
  font: 50px var(--serif);
  color: var(--green);
  background: none;
  border: 0;
  border-bottom: 1px solid var(--line);
  width: 107px;
  appearance: textfield;
}
#rule::-webkit-inner-spin-button {
  appearance: none;
}
.rule-total {
  font: 12px var(--mono);
  color: var(--muted);
}
.rule-table {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 6px;
  margin: 20px 0 14px;
}
.rule-cell {
  padding: 8px 4px;
  display: flex;
  align-items: center;
  flex-direction: column;
  gap: 6px;
}
.neighborhood {
  display: flex;
  gap: 2px;
}
.mini-cell {
  width: 8px;
  height: 8px;
  background: #26383a;
  border: 1px solid #465654;
}
.mini-cell.on {
  background: var(--green);
  border-color: var(--green);
}
.rule-output {
  width: 13px;
  height: 13px;
  background: #26383a;
  border: 1px solid #465654;
}
.rule-output.on {
  background: var(--amber);
  border-color: var(--amber);
}
.rule-arrow {
  font-size: 9px;
  line-height: 1;
  color: var(--muted);
}
.presets {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}
.presets button {
  padding: 4px 7px;
  font: 10px/1.7 var(--mono);
  color: var(--muted);
}
.divider {
  height: 1px;
  background: var(--line);
  margin: 27px 0;
}
.controls select {
  margin-top: 13px;
  font-size: 12px;
}
.claim-description {
  font: 18px/1.5 var(--serif);
  margin-top: 15px;
  color: #c0ccc1;
  min-height: 81px;
}
.bound-label {
  font-size: 11px;
  display: block;
  color: var(--muted);
}
output {
  color: var(--ink);
}
input[type="range"] {
  width: 100%;
  accent-color: var(--green);
  margin: 16px 0;
}
.primary {
  background: var(--green);
  color: var(--bg);
  border: 0;
  font-weight: 600;
  width: 100%;
  display: flex;
  justify-content: space-between;
  margin-top: 20px;
  padding: 13px 15px;
}
.primary:hover {
  background: #cbdfc3;
  color: var(--bg);
}
.status {
  margin-top: 10px;
  font: 10px/1.7 var(--mono);
  min-height: 32px;
}
.aside-note {
  border-left: 1px solid var(--amber);
  padding: 0 0 0 14px;
  margin-top: 30px;
}
.aside-note span {
  font: 9px var(--mono);
  letter-spacing: 1px;
  color: var(--amber);
}
.aside-note p {
  font: 15px/1.5 var(--serif);
  margin: 9px 0;
  color: var(--muted);
}
.finding {
  padding: 20px 25px 21px;
  border: 1px solid var(--line);
  border-left: 2px solid var(--amber);
  background: linear-gradient(110deg, #dca76b08, transparent);
  min-height: 180px;
}
.finding.bounded {
  border-left-color: var(--green);
}
.finding .eyebrow {
  color: var(--amber);
  margin-bottom: 12px;
}
.finding.bounded .eyebrow {
  color: var(--green);
}
.finding h2 {
  font-size: 31px;
  margin-bottom: 11px;
}
.finding > p:not(.eyebrow) {
  font-size: 12px;
  color: var(--muted);
  max-width: 660px;
  margin-bottom: 13px;
}
.metadata {
  display: flex;
  gap: 9px;
  flex-wrap: wrap;
}
.metadata span {
  font: 9px/1.5 var(--mono);
  padding: 3px 7px;
  border: 1px solid var(--line);
  color: var(--muted);
}
.specimen-toolbar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
  padding: 22px 0 12px;
}
.specimen-toolbar > div:first-child {
  display: flex;
  gap: 15px;
  align-items: center;
}
.toolbar-actions {
  display: flex;
  gap: 7px;
  flex-wrap: wrap;
}
.toolbar-actions button {
  font: 10px var(--mono);
  padding: 6px 9px;
}
.spacetime-wrap {
  background: #0b1315;
  border: 1px solid var(--line);
  padding: 16px 16px 0;
  position: relative;
}
#spacetime {
  display: block;
  width: 100%;
  height: 330px;
}
.canvas-caption {
  display: flex;
  justify-content: space-between;
  gap: 10px;
  font: 9px/1.6 var(--mono);
  padding: 13px 0;
  color: var(--muted);
  border-top: 1px solid #263334;
}
.legend {
  white-space: nowrap;
  font-size: 8px;
  display: flex;
  align-items: center;
  gap: 6px;
}
.legend i {
  display: inline-block;
  width: 5px;
  height: 5px;
  background: var(--green);
  margin-left: 6px;
}
.legend i.amber {
  background: var(--amber);
}
.seed-tools {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding: 17px 0;
  border-bottom: 1px solid var(--line);
}
.seed-cells {
  display: flex;
  gap: 4px;
  margin-top: 9px;
  flex-wrap: wrap;
}
.seed-cell {
  width: 19px;
  height: 23px;
  padding: 0;
  border: 1px solid #465654;
  background: #26383a;
  border-radius: 1px;
}
.seed-cell[aria-pressed="true"] {
  background: var(--green);
  border-color: var(--green);
}
.seed-actions {
  display: flex;
  gap: 6px;
  flex-wrap: wrap;
  justify-content: flex-end;
  max-width: 320px;
}
.seed-actions button {
  font-size: 10px;
  padding: 4px 7px;
}
.seed-actions label {
  font-size: 10px;
  color: var(--muted);
  display: flex;
  gap: 8px;
  align-items: center;
}
.seed-actions select {
  width: 49px;
  padding: 3px;
  font-size: 11px;
}
.evidence-actions {
  display: flex;
  align-items: center;
  gap: 20px;
  margin-top: 18px;
}
.secondary {
  font-size: 12px;
  padding: 10px 16px;
}
.evidence-actions p {
  margin: 0;
  font-size: 10px;
}
.collision {
  padding: 14px;
  border: 1px solid var(--line);
  background: var(--panel);
  font: 12px/1.9 var(--mono);
  margin-bottom: 10px;
  color: var(--amber);
}
.collision .fine {
  display: block;
}
.basin-section {
  margin: 55px 0 0;
  border-top: 1px solid var(--line);
  padding-top: 30px;
}
.section-header {
  display: flex;
  justify-content: space-between;
  align-items: flex-end;
  gap: 25px;
  margin-bottom: 23px;
}
.section-header .eyebrow {
  margin-bottom: 9px;
}
.section-header .fine {
  margin: 0;
  max-width: 480px;
}
.section-header select {
  margin-top: 8px;
  min-width: 260px;
  font-size: 12px;
}
.basin-summary {
  font: 11px var(--mono);
  color: var(--muted);
  margin-bottom: 21px;
}
.basin-map {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(150px, 1fr));
  gap: 10px;
  max-height: 470px;
  overflow: auto;
  padding: 2px;
}
.basin-card {
  display: flex;
  flex-direction: column;
  align-items: center;
  background: #142023;
  padding: 15px 9px;
  min-width: 0;
}
.basin-card.selected {
  border-color: var(--amber);
}
.basin-card svg {
  width: 100%;
  height: 95px;
}
.basin-card strong {
  font: 12px var(--mono);
  color: var(--green);
  font-weight: 400;
  margin: 8px 0 3px;
}
.basin-card small {
  color: var(--muted);
  font: 9px/1.8 var(--mono);
}
.atlas-intro {
  font-size: 13px;
  color: var(--muted);
  max-width: 730px;
  margin-bottom: 24px;
}
.atlas-legend {
  display: flex;
  gap: 22px;
  align-items: center;
  flex-wrap: wrap;
  margin-bottom: 24px;
  font: 10px var(--mono);
  color: var(--muted);
}
.atlas-legend > span {
  display: flex;
  align-items: center;
  gap: 7px;
}
.atlas-key {
  width: 9px;
  height: 9px;
  border: 1px solid var(--line);
}
.atlas-key.early {
  background: #cf9360;
}
.atlas-key.late {
  background: #746e51;
}
.atlas-key.bounded {
  background: #1d3030;
}
.atlas-grid {
  display: grid;
  grid-template-columns: repeat(16, minmax(0, 1fr));
  gap: 5px;
}
.atlas-tile {
  padding: 0;
  aspect-ratio: 1.05;
  position: relative;
  background: #182326;
  border: 1px solid #2b3a3a;
  font: 12px var(--mono);
  display: flex;
  align-items: center;
  justify-content: center;
  color: #9aaba7;
}
.atlas-tile small {
  position: absolute;
  bottom: 4px;
  right: 6px;
  font-size: 8px;
  opacity: 0.8;
}
.atlas-tile[data-width="3"] {
  background: #cf9360;
  color: #152021;
  border-color: #cf9360;
}
.atlas-tile[data-width="4"] {
  background: #ad885b;
  color: #152021;
  border-color: #ad885b;
}
.atlas-tile[data-width="5"] {
  background: #8b7c57;
  color: #10191b;
  border-color: #8b7c57;
}
.atlas-tile[data-width="6"],
.atlas-tile[data-width="7"],
.atlas-tile[data-width="8"] {
  background: #686e51;
  border-color: #828569;
  color: #eef0df;
}
.atlas-tile[data-width="none"] {
  background: #1d3030;
  color: var(--green);
  border-color: #3c5350;
}
.atlas-tile:hover {
  outline: 2px solid var(--ink);
  z-index: 1;
}
.atlas-footnote {
  border-top: 1px solid var(--line);
  margin-top: 28px;
  padding-top: 20px;
  display: flex;
  gap: 35px;
}
.atlas-footnote > span {
  font: 9px var(--mono);
  color: var(--amber);
  min-width: 260px;
  padding-top: 5px;
}
.atlas-footnote p {
  font-size: 12px;
  color: var(--muted);
  max-width: 650px;
}
.specimens,
.curated {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 18px;
}
.empty-cabinet {
  grid-column: 1/-1;
  padding: 48px 25px;
  border: 1px dashed var(--line);
  font: 25px var(--serif);
  color: var(--muted);
  text-align: center;
}
.empty-cabinet p {
  font:
    12px system-ui,
    sans-serif;
  margin: 14px 0 0;
}
.specimen,
.curated-card {
  border: 1px solid var(--line);
  padding: 23px;
  background: var(--panel);
  display: flex;
  flex-direction: column;
  align-items: flex-start;
}
.specimen .eyebrow,
.curated-card .eyebrow {
  margin-bottom: 17px;
}
.specimen h3,
.curated-card h3 {
  margin-bottom: 14px;
}
.specimen p,
.curated-card p {
  font-size: 12px;
  line-height: 1.8;
  color: var(--muted);
}
.specimen .toolbar-actions {
  margin-top: auto;
  padding-top: 12px;
}
.specimen textarea {
  width: 100%;
  min-height: 70px;
  background: var(--bg);
  color: var(--ink);
  border: 1px solid var(--line);
  padding: 9px;
  font:
    12px/1.6 system-ui,
    sans-serif;
  resize: vertical;
}
.curated-header {
  margin-top: 50px;
}
.curated-card button {
  font-size: 11px;
  margin-top: auto;
}
.mini-trace {
  width: 100%;
  height: 95px;
  margin: 7px 0 20px;
}
.curated-card .eyebrow {
  color: var(--amber);
}
footer {
  display: flex;
  justify-content: space-between;
  gap: 25px;
  border-top: 1px solid var(--line);
  margin-top: 60px;
  padding: 25px 0 35px;
  font: 9px/1.7 var(--mono);
  color: var(--muted);
}
footer > span:first-child {
  letter-spacing: 1px;
}
dialog {
  max-width: 660px;
  width: calc(100% - 30px);
  max-height: 85vh;
  background: var(--bg);
  color: var(--ink);
  border: 1px solid #53645d;
  padding: 45px;
  line-height: 1.85;
}
dialog::backdrop {
  background: #000a;
  backdrop-filter: blur(4px);
}
dialog h2 {
  font-size: 39px;
  margin-bottom: 25px;
}
dialog p {
  color: #b6c2b9;
  font-size: 14px;
}
.dialog-close {
  position: absolute;
  right: 15px;
  top: 10px;
  font-size: 26px;
  padding: 0 9px;
  border: 0;
}
.signature {
  font: 24px var(--serif);
  padding: 18px 0;
}
.signature span {
  font: 10px var(--mono);
  color: var(--muted);
}
.method {
  border-top: 1px solid var(--line);
  padding-top: 20px;
}
.method h3 {
  font-size: 21px;
  margin-bottom: 13px;
}
.method p {
  font-size: 11px;
  color: var(--muted);
}
.toast {
  position: fixed;
  bottom: 25px;
  left: 50%;
  transform: translate(-50%, 20px);
  max-width: 90vw;
  background: var(--green);
  color: var(--bg);
  padding: 12px 20px;
  font-size: 12px;
  opacity: 0;
  pointer-events: none;
  transition:
    opacity 0.2s,
    transform 0.2s;
  z-index: 10;
}
.toast.visible {
  opacity: 1;
  transform: translate(-50%, 0);
}
[hidden] {
  display: none !important;
}
@media (min-width: 1500px) {
  .masthead {
    max-width: 1320px;
    margin: auto;
  }
  .lab-grid {
    grid-template-columns: 310px minmax(0, 1fr);
    gap: 50px;
  }
  .controls {
    padding-right: 35px;
  }
}
@media (max-width: 1000px) {
  .edition {
    display: none;
  }
  .lab-grid {
    grid-template-columns: 240px minmax(0, 1fr);
    gap: 25px;
  }
  .controls {
    padding-right: 20px;
  }
  .intro-note {
    font-size: 12px;
  }
  .specimen-toolbar {
    align-items: flex-start;
  }
  .specimen-toolbar > div:first-child {
    flex-direction: column;
    gap: 4px;
    align-items: flex-start;
  }
  .seed-tools {
    align-items: flex-start;
    flex-direction: column;
  }
  .seed-actions {
    justify-content: flex-start;
    max-width: none;
  }
  .canvas-caption {
    flex-direction: column;
    gap: 5px;
  }
  .atlas-tile {
    font-size: 10px;
  }
  .specimens,
  .curated {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}
@media (max-width: 700px) {
  .masthead {
    height: 67px;
  }
  .wordmark {
    font-size: 9px;
    letter-spacing: 1px;
  }
  .text-button {
    font-size: 9px;
    max-width: 100px;
    text-align: right;
  }
  .intro {
    padding: 37px 0 26px;
    display: block;
  }
  .intro-note {
    margin-top: 23px;
  }
  .intro-note p {
    margin-bottom: 7px;
  }
  .intro-note .fine {
    display: none;
  }
  h1 {
    letter-spacing: -2px;
    font-size: 48px;
  }
  .eyebrow {
    font-size: 9px;
    margin-bottom: 17px;
  }
  .tabs {
    gap: 20px;
    margin-bottom: 25px;
  }
  .tab {
    font-size: 9px;
  }
  .tab span {
    font-size: 11px;
    margin-left: 3px;
  }
  .tab .count {
    display: none;
  }
  .lab-grid {
    grid-template-columns: 1fr;
    gap: 25px;
  }
  .controls {
    border: 0;
    padding: 0;
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 0 20px;
  }
  .controls > .section-label,
  .rule-heading,
  .controls > .fine,
  .rule-table,
  .presets {
    grid-column: 1;
  }
  .controls > .section-label {
    grid-row: 1;
  }
  .rule-heading {
    grid-row: 2;
  }
  .controls > .fine:not(.status) {
    grid-row: 3;
  }
  .rule-table {
    grid-row: 4;
    margin: 6px 0 14px;
  }
  .presets {
    grid-row: 5;
  }
  .divider {
    display: none;
  }
  .controls > label.section-label {
    grid-column: 2;
    grid-row: 1;
  }
  .controls select {
    grid-column: 2;
    grid-row: 2;
    align-self: center;
    margin: 0;
    min-width: 0;
  }
  .claim-description {
    grid-column: 2;
    grid-row: 3;
    font-size: 16px;
    margin-top: 0;
    min-height: 0;
  }
  .bound-label {
    grid-column: 2;
    grid-row: 4;
    align-self: start;
    font-size: 10px;
  }
  #bound {
    grid-column: 2;
    grid-row: 4;
    align-self: center;
    margin-top: 28px;
  }
  .controls > .fine:nth-of-type(3) {
    display: none;
  }
  .controls > .primary {
    grid-column: 1/-1;
    grid-row: 6;
    margin-top: 18px;
  }
  .status {
    grid-column: 1/-1;
    grid-row: 7;
    margin-bottom: 0;
    min-height: 0;
  }
  .aside-note {
    display: none;
  }
  .controls > .fine {
    font-size: 10px;
  }
  .rule-heading {
    font-size: 25px;
    gap: 6px;
  }
  #rule {
    font-size: 42px;
    width: 82px;
  }
  .rule-total {
    font-size: 10px;
  }
  .rule-table {
    gap: 4px;
  }
  .rule-cell {
    padding: 6px 2px;
  }
  .mini-cell {
    width: 6px;
    height: 6px;
  }
  .finding {
    padding: 20px;
    min-height: 0;
  }
  .finding h2 {
    font-size: 28px;
  }
  .toolbar-actions {
    gap: 4px;
  }
  .toolbar-actions button {
    font-size: 9px;
    padding: 5px 7px;
  }
  .spacetime-wrap {
    padding: 10px 10px 0;
  }
  #spacetime {
    height: 290px;
  }
  .evidence-actions {
    gap: 12px;
  }
  .secondary {
    font-size: 11px;
    white-space: nowrap;
  }
  .evidence-actions .fine {
    font-size: 9px;
  }
  .section-header {
    display: block;
  }
  .section-header .fine {
    margin-top: 15px;
  }
  h2 {
    font-size: 29px;
  }
  .section-header select {
    min-width: 0;
    margin-top: 9px;
  }
  .section-header > div + div {
    margin-top: 20px;
  }
  .atlas-grid {
    grid-template-columns: repeat(8, minmax(0, 1fr));
    gap: 5px;
  }
  .atlas-tile {
    font-size: 11px;
  }
  .atlas-footnote {
    display: block;
  }
  .atlas-footnote p {
    margin-top: 12px;
  }
  .atlas-legend {
    gap: 12px;
    font-size: 9px;
  }
  .specimens,
  .curated {
    grid-template-columns: 1fr;
  }
  .basin-map {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
  footer {
    flex-direction: column;
    gap: 10px;
    font-size: 8px;
    margin-top: 40px;
  }
  dialog {
    padding: 32px 23px;
  }
  dialog h2 {
    font-size: 33px;
  }
}
@media (prefers-reduced-motion: reduce) {
  * {
    transition: none !important;
    scroll-behavior: auto !important;
  }
}
.perturbation-section {
  border-top: 1px solid var(--line);
  margin-top: 50px;
  padding-top: 30px;
}
.perturbation-controls {
  display: flex;
  align-items: center;
  gap: 25px;
  margin-bottom: 15px;
}
.perturbation-controls label {
  display: flex;
  align-items: center;
  gap: 9px;
  white-space: nowrap;
  font: 11px var(--mono);
  color: var(--muted);
}
.perturbation-controls select {
  width: 60px;
  padding: 5px 8px;
}
.perturbation-controls p {
  margin: 0;
  font: 21px/1.3 var(--serif);
  color: var(--amber);
}
.difference-wrap {
  border: 1px solid var(--line);
  background: var(--bg);
}
#difference {
  width: 100%;
  height: 400px;
  display: block;
}
#perturbation-detail {
  margin-top: 12px;
  max-width: 800px;
}
@media (max-width: 700px) {
  .perturbation-controls {
    align-items: flex-start;
    gap: 16px;
  }
  .perturbation-controls p {
    font-size: 17px;
  }
  .perturbation-controls label {
    font-size: 10px;
  }
  #difference {
    height: 350px;
  }
}
.moment-inspector {
  border: 1px solid var(--line);
  border-top: 0;
  padding: 12px 16px;
}
.moment-inspector summary {
  cursor: pointer;
  font: 11px/1.7 var(--mono);
  color: var(--muted);
}
.moment-controls {
  display: flex;
  gap: 12px;
  align-items: center;
  margin-top: 12px;
}
.moment-controls button {
  padding: 3px 10px;
}
.moment-controls label {
  white-space: nowrap;
  font: 11px var(--mono);
  color: var(--muted);
}
.moment-controls input {
  margin: 8px 0;
}
.moment-readout {
  display: flex;
  align-items: center;
  gap: 16px;
  margin: 10px 0;
}
.moment-readout code {
  font: 17px var(--mono);
  color: var(--amber);
  letter-spacing: 3px;
}
.moment-inspector p {
  margin-bottom: 10px;
}
.possible-pasts {
  display: flex;
  flex-wrap: wrap;
  gap: 5px;
}
.possible-pasts button {
  font: 10px var(--mono);
  padding: 5px 8px;
}
.seed-cell {
  min-width: 22px;
  min-height: 26px;
}
.proof-panel {
  margin-top: 12px;
  padding: 13px 20px;
  border: 1px solid #476452;
  background: #b9cfb005;
}
.proof-panel summary {
  font: 11px/1.7 var(--mono);
  color: var(--green);
  cursor: pointer;
}
.proof-panel h3 {
  margin: 20px 0 15px;
  font-size: 25px;
}
.proof-panel p {
  font-size: 12px;
  line-height: 1.85;
  color: var(--muted);
  margin: 16px 0;
}
.proof-panel table {
  border-collapse: collapse;
  width: 100%;
  font: 11px/1.8 var(--mono);
  margin: 18px 0;
}
.proof-panel td,
.proof-panel th {
  border-bottom: 1px solid var(--line);
  padding: 5px 9px;
  text-align: left;
  font-weight: 400;
}
.proof-panel th {
  color: var(--muted);
}
.proof-equation {
  display: block;
  font: 13px/1.8 var(--mono);
  padding: 12px 15px;
  border-left: 2px solid var(--green);
  color: var(--green);
  background: var(--bg);
  overflow: auto;
}
.proof-panel p.fine {
  font-size: 10px;
  border-top: 1px solid var(--line);
  padding-top: 12px;
}
.prediction-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.6fr) minmax(250px, 1fr);
  gap: 45px;
}
.prediction-question {
  padding: 28px;
  border: 1px solid var(--line);
  background: var(--panel);
}
.prediction-law {
  display: flex;
  gap: 25px;
  align-items: center;
  margin-bottom: 26px;
  padding-bottom: 23px;
  border-bottom: 1px solid var(--line);
}
.prediction-law h3 {
  font-size: 34px;
  white-space: nowrap;
  color: var(--green);
}
.prediction-law .rule-table {
  grid-template-columns: repeat(8, 1fr);
  width: 100%;
  margin: 0;
  gap: 5px;
}
.prediction-law .rule-cell {
  border: 1px solid var(--line);
}
.prediction-question h2 {
  font-size: 30px;
}
.prediction-question > p:not(.eyebrow) {
  color: var(--muted);
  font-size: 13px;
  margin: 18px 0 25px;
}
.prediction-choices {
  display: flex;
  gap: 10px;
}
.prediction-choices button {
  flex: 1;
  font-size: 12px;
  padding: 13px 10px;
}
.confidence-label {
  display: flex;
  justify-content: space-between;
  font: 11px var(--mono);
  color: var(--muted);
  margin-top: 25px;
}
.prediction-question .primary {
  display: block;
  margin-top: 9px;
  font-size: 12px;
}
.prediction-result {
  border-top: 1px solid var(--line);
  margin-top: 24px;
  padding-top: 22px;
}
.prediction-result h3 {
  color: var(--amber);
  margin-bottom: 13px;
}
.prediction-result p {
  font-size: 12px;
  color: var(--muted);
}
.prediction-result .fine {
  font: 10px/1.8 var(--mono);
}
.prediction-notes {
  padding: 12px 0;
}
.prediction-notes h3 {
  font-size: 30px;
  margin-bottom: 20px;
}
.prediction-notes p:not(.eyebrow) {
  font-size: 12px;
  color: var(--muted);
  line-height: 1.9;
}
.prediction-notes .proof-equation {
  margin: 22px 0;
}
.prediction-ledger {
  margin-top: 40px;
  border-top: 1px solid var(--line);
  padding-top: 25px;
}
.prediction-history-row {
  display: grid;
  grid-template-columns: 2fr 1fr 1fr 70px;
  gap: 20px;
  font: 11px/1.8 var(--mono);
  color: var(--muted);
  padding: 10px 0;
  border-bottom: 1px solid var(--line);
}
.prediction-history-row span:first-child {
  color: var(--green);
}
@media (max-width: 1000px) {
  .prediction-law {
    display: block;
  }
  .prediction-law .rule-table {
    margin-top: 17px;
  }
}
@media (max-width: 700px) {
  .tabs {
    gap: 15px;
    overflow-x: auto;
    white-space: nowrap;
  }
  .tab {
    flex-shrink: 0;
  }
  .prediction-layout {
    grid-template-columns: 1fr;
    gap: 22px;
  }
  .prediction-question {
    padding: 21px;
  }
  .prediction-law h3 {
    font-size: 29px;
  }
  .prediction-law .rule-table {
    gap: 3px;
  }
  .prediction-choices button {
    font-size: 11px;
  }
  .prediction-history-row {
    grid-template-columns: 1.5fr 1fr 1fr 40px;
    gap: 8px;
    font-size: 9px;
  }
}
#atlas-export {
  font: 9px var(--mono);
  padding: 5px 8px;
  margin-left: auto;
}
.atlas-tile {
  transition: border-color 0.15s;
}
.atlas-tile small {
  opacity: 1;
}
.atlas-tile[data-width="3"],
.atlas-tile[data-width="4"],
.atlas-tile[data-width="5"] {
  color: #071012;
}
footer > span:first-of-type {
  letter-spacing: 1px;
}
@media (max-width: 700px) {
  .controls {
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
    /* Contain WebKit's stale scroll overflow when this sidebar becomes a grid. */
    overflow: hidden;
  }
  .controls :focus-visible {
    outline-offset: -3px;
  }
  .controls > * {
    min-width: 0;
  }
  .rule-heading #rule {
    min-width: 0;
  }
  .rule-total {
    white-space: nowrap;
  }
}