:root {
  --paper: #f2ecdc;
  --ink: #191916;
  --muted: #6a685f;
  --line: #c8bfaa;
  --smith: #c3412f;
  --smith-soft: #f2c1b4;
  --defender: #24645c;
  --defender-soft: #b9d8d0;
  --yellow: #e5b742;
  --panel: #fffaf0;
  --anatomy: #8c887c;
  --reach: #4d83ad;
  --grip: #c3412f;
  --pressure: #7d3f8c;
  --counter: #16806d;
  --threat: #c4801c;
  --shadow: 0 18px 50px rgba(38, 32, 20, 0.13);
}

* {
  box-sizing: border-box;
}

html {
  background: var(--paper);
  color: var(--ink);
  font-family: Georgia, "Times New Roman", serif;
}

body {
  margin: 0;
  min-width: 320px;
  background:
    linear-gradient(rgba(35, 33, 27, 0.035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(35, 33, 27, 0.035) 1px, transparent 1px),
    var(--paper);
  background-size: 28px 28px;
}

button,
a {
  font: inherit;
}

.site-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 18px clamp(20px, 5vw, 72px);
  border-bottom: 1px solid var(--ink);
  font-family: "Trebuchet MS", sans-serif;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  font-size: 12px;
}

.site-header p {
  margin: 0;
  color: var(--muted);
}

.brand {
  color: var(--ink);
  font-weight: 800;
  text-decoration: none;
}

main {
  width: min(1500px, calc(100% - 32px));
  margin: 0 auto;
}

.intro {
  display: grid;
  grid-template-columns: minmax(300px, 0.85fr) minmax(360px, 1.15fr);
  gap: 40px 8vw;
  padding: clamp(54px, 8vw, 110px) clamp(8px, 2vw, 24px) 52px;
  align-items: end;
}

.intro h1 {
  margin: 8px 0 0;
  max-width: 760px;
  font-size: clamp(58px, 8.6vw, 142px);
  line-height: 0.82;
  letter-spacing: -0.065em;
  font-weight: 500;
}

.intro h1 span {
  color: var(--smith);
}

.eyebrow {
  margin: 0;
  font: 800 11px/1.2 "Trebuchet MS", sans-serif;
  letter-spacing: 0.17em;
  text-transform: uppercase;
  color: var(--muted);
}

.lede {
  max-width: 680px;
  margin: 0 0 28px;
  font-size: clamp(19px, 2vw, 28px);
  line-height: 1.38;
}

.legend {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 16px;
  font: 700 11px/1.2 "Trebuchet MS", sans-serif;
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.legend-item {
  display: inline-flex;
  align-items: center;
  gap: 7px;
}

.legend-line {
  width: 28px;
  height: 3px;
  border-radius: 2px;
  background: var(--edge-color);
}

.workspace {
  display: grid;
  grid-template-columns: minmax(0, 1.85fr) minmax(320px, 0.65fr);
  min-height: 780px;
  border: 1px solid var(--ink);
  background: var(--panel);
  box-shadow: var(--shadow);
}

.graph-panel {
  position: relative;
  min-width: 0;
  padding: 24px;
  border-right: 1px solid var(--ink);
  overflow: hidden;
  background:
    radial-gradient(circle at 25% 48%, rgba(195, 65, 47, 0.1), transparent 24%),
    radial-gradient(circle at 75% 48%, rgba(36, 100, 92, 0.1), transparent 24%),
    #f8f2e4;
}

.graph-heading {
  position: relative;
  z-index: 2;
  display: flex;
  justify-content: space-between;
  gap: 24px;
}

.graph-heading h2 {
  margin: 5px 0 0;
  font-size: clamp(28px, 4vw, 52px);
  font-weight: 500;
  letter-spacing: -0.035em;
}

.state-index {
  color: var(--muted);
  font: 700 12px/1.2 "Trebuchet MS", sans-serif;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  text-align: right;
}

#graph {
  display: block;
  width: 100%;
  height: auto;
  margin-top: -20px;
  overflow: visible;
}

.anatomical-edge {
  stroke: var(--anatomy);
  stroke-width: 3;
  opacity: 0.54;
}

.interaction-edge {
  fill: none;
  stroke-width: 6;
  stroke-linecap: round;
  opacity: 0;
  animation: edge-in 460ms ease forwards;
}

.interaction-edge.reach {
  stroke: var(--reach);
  stroke-dasharray: 12 9;
  marker-end: url(#arrow-reach);
}

.interaction-edge.grip {
  stroke: var(--grip);
  marker-end: url(#arrow-grip);
}

.interaction-edge.pressure {
  stroke: var(--pressure);
  stroke-dasharray: 5 7;
  marker-end: url(#arrow-pressure);
}

.interaction-edge.counter {
  stroke: var(--counter);
  stroke-dasharray: 16 6 3 6;
  marker-end: url(#arrow-counter);
}

.interaction-edge.threat {
  stroke: var(--threat);
  stroke-width: 9;
  opacity: 0.3;
  marker-end: url(#arrow-threat);
}

.interaction-edge.partial,
.interaction-edge.migrating,
.interaction-edge.weakening,
.interaction-edge.weak {
  opacity: 0.56;
  stroke-width: 4;
}

.interaction-edge.secured {
  stroke-width: 9;
}

.node {
  cursor: default;
}

.node circle {
  stroke: var(--ink);
  stroke-width: 2.5;
  transition: transform 180ms ease, filter 180ms ease;
}

.node:hover circle {
  filter: brightness(1.08);
  transform: scale(1.08);
  transform-box: fill-box;
  transform-origin: center;
}

.node.smith circle {
  fill: var(--smith-soft);
}

.node.defender circle {
  fill: var(--defender-soft);
}

.node text {
  fill: var(--ink);
  text-anchor: middle;
  pointer-events: none;
}

.node .node-label {
  font: 700 12px/1 "Trebuchet MS", sans-serif;
}

.node .piece-label {
  fill: var(--muted);
  font: 700 9px/1 "Trebuchet MS", sans-serif;
  text-transform: uppercase;
}

.node.active circle {
  fill: var(--yellow);
  filter: drop-shadow(0 4px 8px rgba(80, 54, 7, 0.28));
}

.wrestler-labels {
  position: absolute;
  left: 24px;
  right: 24px;
  bottom: 18px;
  display: flex;
  justify-content: space-around;
  font: 800 11px/1 "Trebuchet MS", sans-serif;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.wrestler-labels span:first-child {
  color: var(--smith);
}

.wrestler-labels span:last-child {
  color: var(--defender);
}

.state-panel {
  display: flex;
  flex-direction: column;
  padding: clamp(24px, 3vw, 42px);
  background: #1d1c18;
  color: #f7f0df;
}

.state-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.state-meta span {
  padding: 6px 9px;
  border: 1px solid rgba(255, 255, 255, 0.35);
  border-radius: 999px;
  font: 800 10px/1 "Trebuchet MS", sans-serif;
  text-transform: uppercase;
  letter-spacing: 0.1em;
}

.state-summary {
  margin: 26px 0 38px;
  font-size: clamp(19px, 1.7vw, 25px);
  line-height: 1.45;
}

.state-panel section + section {
  margin-top: 28px;
}

.state-panel h3 {
  margin: 0 0 12px;
  color: #d2c8b2;
  font: 800 11px/1.2 "Trebuchet MS", sans-serif;
  text-transform: uppercase;
  letter-spacing: 0.14em;
}

.state-panel ul {
  margin: 0;
  padding-left: 20px;
  color: #f1c577;
  line-height: 1.5;
}

.transition-list {
  display: grid;
  gap: 10px;
}

.transition-button {
  width: 100%;
  padding: 14px;
  border: 1px solid rgba(255, 255, 255, 0.38);
  background: transparent;
  color: #fff8e9;
  text-align: left;
  cursor: pointer;
  transition: background 160ms ease, border-color 160ms ease, transform 160ms ease;
}

.transition-button:hover,
.transition-button:focus-visible {
  border-color: var(--yellow);
  background: rgba(229, 183, 66, 0.11);
  transform: translateX(4px);
  outline: none;
}

.transition-button strong {
  display: block;
  margin-bottom: 5px;
  font: 800 13px/1.3 "Trebuchet MS", sans-serif;
}

.transition-button span {
  color: #bdb5a3;
  font-size: 13px;
  line-height: 1.35;
}

.terminal-message {
  padding: 16px;
  border-left: 3px solid var(--yellow);
  color: #e8d8b8;
}

.history-block {
  margin-top: auto;
  padding-top: 36px;
}

#history {
  max-height: 180px;
  margin: 0;
  padding-left: 22px;
  overflow-y: auto;
  color: #aaa391;
  font: 12px/1.6 "Trebuchet MS", sans-serif;
}

#history li:last-child {
  color: #fff;
}

.utility-controls {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px;
  margin-top: 20px;
}

.utility-controls button {
  padding: 10px;
  border: 1px solid rgba(255, 255, 255, 0.35);
  background: transparent;
  color: #fff;
  cursor: pointer;
}

.utility-controls button:disabled {
  cursor: not-allowed;
  opacity: 0.32;
}

.notation {
  display: grid;
  grid-template-columns: 0.8fr 1.1fr 1fr;
  gap: clamp(28px, 5vw, 72px);
  padding: clamp(64px, 9vw, 120px) clamp(8px, 2vw, 24px);
  align-items: start;
}

.notation h2 {
  margin: 9px 0 0;
  font-size: clamp(35px, 4.5vw, 68px);
  line-height: 0.98;
  font-weight: 500;
  letter-spacing: -0.045em;
}

.notation pre {
  margin: 0;
  padding: 22px;
  overflow-x: auto;
  border: 1px solid var(--ink);
  background: #e3dbc7;
  font: 13px/1.55 "Courier New", monospace;
}

.notation > p {
  margin: 0;
  font-size: 19px;
  line-height: 1.55;
}

footer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 24px clamp(20px, 5vw, 72px);
  border-top: 1px solid var(--ink);
  font: 12px/1.4 "Trebuchet MS", sans-serif;
}

footer p {
  margin: 0;
}

footer a {
  color: var(--smith);
  font-weight: 800;
}

@keyframes edge-in {
  from {
    opacity: 0;
    stroke-dashoffset: 30;
  }
  to {
    opacity: 1;
    stroke-dashoffset: 0;
  }
}

@media (max-width: 1050px) {
  .workspace {
    grid-template-columns: 1fr;
  }

  .graph-panel {
    border-right: 0;
    border-bottom: 1px solid var(--ink);
  }

  .state-panel {
    min-height: 540px;
  }

  .notation {
    grid-template-columns: 1fr 1fr;
  }

  .notation > p {
    grid-column: 1 / -1;
  }
}

@media (max-width: 720px) {
  .site-header {
    align-items: flex-start;
    gap: 12px;
  }

  .site-header p {
    max-width: 140px;
    text-align: right;
  }

  .intro {
    grid-template-columns: 1fr;
  }

  .intro h1 {
    font-size: clamp(55px, 18vw, 92px);
  }

  .workspace {
    border-left: 0;
    border-right: 0;
  }

  main {
    width: 100%;
  }

  .graph-panel {
    padding: 18px 8px 28px;
    overflow-x: auto;
  }

  .graph-heading {
    padding: 0 10px;
  }

  #graph {
    width: 900px;
    max-width: none;
  }

  .wrestler-labels {
    display: none;
  }

  .notation {
    grid-template-columns: 1fr;
    padding-left: 20px;
    padding-right: 20px;
  }

  .notation > p {
    grid-column: auto;
  }

  footer {
    align-items: flex-start;
    flex-direction: column;
  }
}

/* Model 0.2 attributed graph extensions */
:root {
  --support: #3275a8;
  --load: #d18b16;
  --shield: #5d596c;
}

.interaction-edge.support {
  stroke: var(--support);
  stroke-width: 4;
  stroke-dasharray: 4 7;
  marker-end: url(#arrow-support);
}

.interaction-edge.load {
  stroke: var(--load);
  stroke-width: 8;
  marker-end: url(#arrow-load);
}

.interaction-edge.shield {
  stroke: var(--shield);
  stroke-width: 7;
  stroke-dasharray: 2 8;
  marker-end: url(#arrow-shield);
}

.interaction-edge.slipping,
.interaction-edge.partial,
.interaction-edge.migrating,
.interaction-edge.weak,
.interaction-edge.folded {
  opacity: 0.55;
  stroke-width: 4;
}

.interaction-edge.loaded {
  stroke-width: 8;
}

.environment-node rect {
  fill: #d9caaa;
  stroke: var(--ink);
  stroke-width: 2;
}

.environment-node text {
  fill: var(--ink);
  text-anchor: middle;
  font: 800 11px/1 "Trebuchet MS", sans-serif;
  letter-spacing: 0.3em;
}

.node.hidden-node circle {
  fill: #d6d0c3;
  stroke-dasharray: 4 4;
  opacity: 0.52;
}

.node.hidden-node text {
  opacity: 0.52;
}

.mechanics-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 18px 16px;
  margin-bottom: 28px;
  padding: 18px;
  border: 1px solid rgba(255, 255, 255, 0.2);
  background: rgba(255, 255, 255, 0.035);
}

.mechanics-grid > div {
  min-width: 0;
}

.mechanics-grid .mechanics-wide {
  grid-column: 1 / -1;
}

.mechanics-grid h3 {
  margin-bottom: 7px;
}

.mechanics-grid p,
.mechanics-grid ul {
  margin: 0;
  color: #ddd3bf;
  font: 12px/1.45 "Trebuchet MS", sans-serif;
}

.mechanics-grid ul {
  padding-left: 17px;
}

.mechanics-grid .empty-item {
  color: #777164;
  font-style: italic;
}

.operator-list {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}

.operator-pill {
  padding: 5px 8px;
  border: 1px solid rgba(229, 183, 66, 0.65);
  border-radius: 999px;
  color: #f1c577;
  font: 800 10px/1 "Trebuchet MS", sans-serif;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

#state-outcome {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 7px 12px;
  margin: 0;
  font: 12px/1.45 "Trebuchet MS", sans-serif;
}

#state-outcome dt {
  color: #f1c577;
  font-weight: 800;
  text-transform: uppercase;
}

#state-outcome dd {
  margin: 0;
  color: #ddd3bf;
}

.operator-reference {
  padding: 0 clamp(8px, 2vw, 24px) clamp(70px, 9vw, 120px);
}

.operator-reference > h2 {
  margin: 8px 0 32px;
  font-size: clamp(36px, 5vw, 72px);
  font-weight: 500;
  letter-spacing: -0.045em;
}

#operator-reference {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  border-top: 1px solid var(--ink);
  border-left: 1px solid var(--ink);
}

#operator-reference article {
  min-height: 170px;
  padding: 20px;
  border-right: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  background: rgba(255, 250, 240, 0.52);
}

#operator-reference code {
  color: var(--smith);
  font: 700 10px/1.2 "Courier New", monospace;
}

#operator-reference h3 {
  margin: 16px 0 8px;
  font-size: 22px;
  font-weight: 500;
}

#operator-reference p {
  margin: 0;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.45;
}

@media (max-width: 1100px) {
  #operator-reference {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

@media (max-width: 620px) {
  .mechanics-grid,
  #operator-reference {
    grid-template-columns: 1fr;
  }

  .mechanics-grid .mechanics-wide {
    grid-column: auto;
  }
}

#arrow-support path { fill: var(--support); }
#arrow-load path { fill: var(--load); }
#arrow-reach path { fill: var(--reach); }
#arrow-grip path { fill: var(--grip); }
#arrow-pressure path { fill: var(--pressure); }
#arrow-counter path { fill: var(--counter); }
#arrow-shield path { fill: var(--shield); }
#arrow-threat path { fill: var(--threat); }

/* Model 0.3 mobility and optimization layer */
.evaluation-card {
  display: grid;
  grid-template-columns: 120px 1fr;
  gap: 16px;
  margin-bottom: 26px;
  padding: 18px;
  border: 1px solid rgba(255, 255, 255, 0.24);
  background: rgba(229, 183, 66, 0.07);
}

.evaluation-card > p {
  grid-column: 1 / -1;
  margin: 0;
  color: #bdb5a3;
  font: 12px/1.4 "Trebuchet MS", sans-serif;
}

.evaluation-label {
  margin: 0 0 8px;
  color: #bdb5a3;
  font: 800 9px/1.2 "Trebuchet MS", sans-serif;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

#state-evaluation {
  font: 500 38px/1 Georgia, serif;
}

#state-evaluation.smith-positive { color: #f08067; }
#state-evaluation.defender-positive { color: #72c7b9; }

.evaluation-bars span {
  display: flex;
  justify-content: space-between;
  margin-bottom: 4px;
  color: #ded5c3;
  font: 700 10px/1.2 "Trebuchet MS", sans-serif;
  text-transform: uppercase;
}

.evaluation-bars div {
  height: 7px;
  margin-bottom: 10px;
  overflow: hidden;
  background: rgba(255, 255, 255, 0.12);
}

.evaluation-bars i {
  display: block;
  height: 100%;
  background: var(--smith);
}

.evaluation-bars div:nth-of-type(2) i { background: var(--defender); }

.transition-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  margin-bottom: 12px;
}

.transition-heading h3 { margin: 0; }

.perspective-toggle {
  display: flex;
  border: 1px solid rgba(255, 255, 255, 0.28);
}

.perspective-toggle button {
  padding: 6px 8px;
  border: 0;
  background: transparent;
  color: #aaa391;
  cursor: pointer;
  font: 800 9px/1 "Trebuchet MS", sans-serif;
  text-transform: uppercase;
}

.perspective-toggle button.active {
  background: var(--yellow);
  color: #1d1c18;
}

.ranked-transition .transition-top {
  display: grid;
  grid-template-columns: 24px 1fr max-content;
  align-items: start;
  gap: 8px;
}

.ranked-transition .rank {
  display: grid;
  width: 22px;
  height: 22px;
  place-items: center;
  border-radius: 50%;
  background: rgba(255, 255, 255, 0.12);
  font: 800 10px/1 "Trebuchet MS", sans-serif;
}

.ranked-transition .transition-top b {
  color: #f1c577;
  font: 800 12px/1.3 "Courier New", monospace;
}

.ranked-transition small {
  display: block;
  margin-top: 8px;
  color: #8f897d;
  font: 10px/1.45 "Courier New", monospace;
}

.mobility-section {
  padding: clamp(65px, 9vw, 120px) clamp(8px, 2vw, 24px);
}

.section-heading-row {
  display: grid;
  grid-template-columns: minmax(300px, 1fr) minmax(280px, 0.6fr);
  gap: 40px;
  align-items: end;
  margin-bottom: 38px;
}

.section-heading-row h2 {
  margin: 8px 0 0;
  font-size: clamp(40px, 5.5vw, 82px);
  line-height: 0.95;
  font-weight: 500;
  letter-spacing: -0.05em;
}

.section-heading-row > p {
  margin: 0;
  color: var(--muted);
  font-size: 18px;
  line-height: 1.5;
}

.mobility-columns {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 24px;
}

.mobility-columns > section {
  border: 1px solid var(--ink);
  background: rgba(255, 250, 240, 0.62);
}

.mobility-columns > section > h3 {
  margin: 0;
  padding: 18px 20px;
  border-bottom: 1px solid var(--ink);
  color: var(--smith);
  font: 800 12px/1 "Trebuchet MS", sans-serif;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.mobility-columns > section:last-child > h3 { color: var(--defender); }

.axis-row {
  display: grid;
  grid-template-columns: 130px 70px 1fr;
  gap: 12px;
  align-items: center;
  padding: 13px 16px;
  border-bottom: 1px solid var(--line);
}

.axis-row:last-child { border-bottom: 0; }

.axis-name strong,
.axis-name span { display: block; }
.axis-name strong { font: 800 12px/1.2 "Trebuchet MS", sans-serif; }
.axis-name span { margin-top: 3px; color: var(--muted); font: 9px/1.2 "Trebuchet MS", sans-serif; text-transform: uppercase; }
.axis-score { color: var(--muted); font: 700 11px/1 "Courier New", monospace; }
.axis-pills { display: flex; flex-wrap: wrap; gap: 5px; }

.axis-pill {
  padding: 5px 7px;
  border: 1px solid var(--line);
  border-radius: 999px;
  background: #eee7d7;
  color: #4f4d46;
  font: 700 9px/1.2 "Trebuchet MS", sans-serif;
}

.axis-pill.status-free { border-color: #77a89f; background: #d9ebe6; }
.axis-pill.status-available_under_load { border-color: #c8a656; background: #f2e5bd; }
.axis-pill.status-limited { border-color: #c67a62; background: #f0d2c8; }
.axis-pill.status-unsafe { border-color: #b25242; background: #e9b4aa; }
.axis-pill.status-blocked_by_grip { border-color: #7d3f38; background: #c98274; color: #25120f; }
.axis-pill.status-blocked_by_support { border-color: #65616c; background: #c5c1ca; }

.node.mobility-low circle {
  stroke-width: 5;
  stroke: #17130f;
  filter: drop-shadow(0 0 8px rgba(195, 65, 47, 0.45));
}

@media (max-width: 900px) {
  .mobility-columns,
  .section-heading-row { grid-template-columns: 1fr; }
}

@media (max-width: 620px) {
  .evaluation-card { grid-template-columns: 1fr; }
  .evaluation-card > p { grid-column: auto; }
  .axis-row { grid-template-columns: 105px 60px 1fr; padding: 12px 10px; }
  .axis-pill { font-size: 8px; }
}

/* Model 0.4 mathematical analysis */
.math-intro { padding-bottom: 42px; }
.theorem-strip {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-bottom: 28px;
  border: 1px solid var(--ink);
  background: #1d1c18;
  color: #f7f0df;
}
.theorem-strip article { padding: 24px; border-right: 1px solid rgba(255,255,255,.25); }
.theorem-strip article:last-child { border-right: 0; }
.theorem-strip span { display:block; color:#bdb5a3; font:800 10px/1.2 "Trebuchet MS",sans-serif; text-transform:uppercase; letter-spacing:.12em; }
.theorem-strip strong { display:block; margin:10px 0 5px; color:var(--yellow); font:500 42px/1 Georgia,serif; }
.theorem-strip p { margin:0; color:#8f897d; font:12px/1.4 "Trebuchet MS",sans-serif; }
.math-workspace { min-height: 850px; }
.graph-heading select {
  align-self: start;
  max-width: 270px;
  padding: 9px 30px 9px 10px;
  border: 1px solid var(--ink);
  background: var(--panel);
  color: var(--ink);
  font: 700 11px/1.2 "Trebuchet MS",sans-serif;
}
.rank-display { display:grid; grid-template-columns:1fr 1fr; margin:0 0 28px; border-top:1px solid rgba(255,255,255,.3); border-left:1px solid rgba(255,255,255,.3); }
.rank-display div { padding:14px; border-right:1px solid rgba(255,255,255,.3); border-bottom:1px solid rgba(255,255,255,.3); }
.rank-display span { display:block; color:#999183; font:800 9px/1.2 "Trebuchet MS",sans-serif; text-transform:uppercase; letter-spacing:.1em; }
.rank-display strong { display:block; margin-top:7px; color:#f1c577; font:500 25px/1 Georgia,serif; }
.constraint-basis { max-height:210px; overflow:auto; margin:0; padding-left:22px; color:#bbb2a1; font:10px/1.55 "Courier New",monospace; }
.certificate { margin-bottom:10px; border:1px solid rgba(255,255,255,.26); }
.certificate button { display:grid; grid-template-columns:1fr; width:100%; padding:12px; border:0; background:transparent; color:#fff; text-align:left; cursor:pointer; }
.certificate button strong { color:#f1c577; font:800 12px/1.3 "Trebuchet MS",sans-serif; }
.certificate button span { margin-top:3px; color:#bdb5a3; font-size:12px; }
.certificate button b { margin-top:7px; color:#71c2a9; font:800 9px/1 "Courier New",monospace; }
.certificate.invalid button b { color:#e1735e; }
.certificate ul { margin:0; padding:0 12px 12px 29px; color:#a9a192; font:10px/1.45 "Trebuchet MS",sans-serif; }
.certificate li.pass::marker { color:#71c2a9; }
.certificate li.fail::marker { color:#e1735e; }
.math-grid { display:grid; grid-template-columns:repeat(3,1fr); padding:clamp(70px,9vw,120px) clamp(8px,2vw,24px); }
.math-grid article { padding:28px; border:1px solid var(--ink); border-right:0; background:rgba(255,250,240,.55); }
.math-grid article:last-child { border-right:1px solid var(--ink); }
.math-grid h2 { margin:8px 0 24px; font-size:clamp(30px,3vw,48px); font-weight:500; letter-spacing:-.04em; }
.math-grid pre { min-height:170px; margin:0 0 20px; padding:18px; overflow:auto; background:#ddd3bd; border:1px solid var(--line); font:12px/1.5 "Courier New",monospace; }
.math-grid article>p:last-child { color:var(--muted); font-size:15px; line-height:1.5; }
.analysis-section { padding:0 clamp(8px,2vw,24px) clamp(80px,10vw,140px); }
.relation-columns { display:grid; grid-template-columns:1fr 1fr .8fr; border-top:1px solid var(--ink); border-left:1px solid var(--ink); }
.relation-columns>section { min-height:300px; padding:20px; border-right:1px solid var(--ink); border-bottom:1px solid var(--ink); background:rgba(255,250,240,.55); }
.relation-columns h3 { margin:0 0 16px; font:800 11px/1.2 "Trebuchet MS",sans-serif; text-transform:uppercase; letter-spacing:.12em; }
.relation-row { display:grid; grid-template-columns:1fr max-content 1fr; gap:8px; width:100%; padding:10px 0; border:0; border-top:1px solid var(--line); background:transparent; text-align:left; cursor:pointer; }
.relation-row strong { font:700 11px/1.3 "Trebuchet MS",sans-serif; }
.relation-row span { color:var(--muted); font:9px/1.3 "Trebuchet MS",sans-serif; text-transform:uppercase; }
.empty-relation { color:var(--muted); font-style:italic; }
#symmetry-class p { font-size:14px; line-height:1.5; }
#symmetry-class code { font-size:11px; }
@media(max-width:1050px){ .theorem-strip{grid-template-columns:1fr 1fr}.theorem-strip article:nth-child(2){border-right:0}.math-grid,.relation-columns{grid-template-columns:1fr}.math-grid article{border-right:1px solid var(--ink);border-bottom:0}.math-grid article:last-child{border-bottom:1px solid var(--ink)} }
@media(max-width:620px){ .theorem-strip{grid-template-columns:1fr}.theorem-strip article{border-right:0;border-bottom:1px solid rgba(255,255,255,.25)}.rank-display{grid-template-columns:1fr}.graph-heading{display:block}.graph-heading select{margin-top:15px} }


/* Model 0.5 prediction layer */
.theorem-strip { grid-template-columns: repeat(6, 1fr); }
.solver-section { padding: clamp(70px, 9vw, 130px) clamp(8px, 2vw, 24px); }
.solver-grid { display:grid; grid-template-columns:repeat(3,1fr); border-top:1px solid var(--ink); border-left:1px solid var(--ink); }
.solver-grid article { min-height:260px; padding:28px; border-right:1px solid var(--ink); border-bottom:1px solid var(--ink); background:rgba(255,250,240,.58); }
.solver-grid h3 { margin:28px 0 14px; font:800 12px/1.2 "Trebuchet MS",sans-serif; text-transform:uppercase; letter-spacing:.12em; }
.solver-grid p { color:var(--muted); line-height:1.55; }
.solver-grid pre { margin:0; white-space:pre-wrap; color:var(--muted); font-size:12px; line-height:1.6; }
.solver-symbol { color:var(--smith); font:500 44px/1 Georgia,serif; }
.root-finding { display:grid; grid-template-columns:.55fr .9fr 2fr; gap:20px; align-items:start; padding:28px; border:1px solid var(--ink); border-top:0; background:var(--ink); color:#fff; }
.root-finding span { color:#aaa294; font:800 10px/1.3 "Trebuchet MS",sans-serif; text-transform:uppercase; letter-spacing:.14em; }
.root-finding strong { color:var(--yellow); font:500 30px/1.1 Georgia,serif; }
.root-finding p { margin:0 0 8px; color:#c9c2b4; line-height:1.5; }
.prediction-card { border-top:1px solid rgba(255,255,255,.2); border-bottom:1px solid rgba(255,255,255,.2); padding:18px 0; }
.solver-verdict { padding:13px; border-left:4px solid #9a9386; background:rgba(255,255,255,.06); }
.solver-verdict strong { display:block; font:800 10px/1.3 "Trebuchet MS",sans-serif; letter-spacing:.08em; }
.solver-verdict p { margin:6px 0 0; color:#bdb5a3; font-size:11px; line-height:1.45; }
.solver-verdict.smith { border-color:#d95b46; }
.solver-verdict.smith strong { color:#ef8b77; }
.solver-verdict.defender { border-color:#43a094; }
.solver-verdict.defender strong { color:#71c2b7; }
.solver-verdict.open strong { color:var(--yellow); }
.outcome-chips { display:flex; flex-wrap:wrap; gap:6px; }
.outcome-chip { padding:5px 7px; border:1px solid rgba(255,255,255,.24); color:#c8c0b1; font:700 9px/1.2 "Trebuchet MS",sans-serif; text-transform:uppercase; letter-spacing:.04em; }
.outcome-chip.smith_score,.outcome-chip.smith_control,.outcome-chip.smith_access { border-color:rgba(217,91,70,.7); color:#ef8b77; }
.outcome-chip.defender_score,.outcome-chip.defender_control { border-color:rgba(67,160,148,.8); color:#71c2b7; }
.solver-branch { display:grid; grid-template-columns:auto 1fr; gap:3px 8px; width:100%; margin-bottom:8px; padding:11px; border:1px solid rgba(255,255,255,.24); background:rgba(255,255,255,.04); color:#fff; text-align:left; cursor:pointer; }
.solver-branch:hover { background:rgba(255,255,255,.09); }
.solver-branch .branch-actor { grid-row:1/4; align-self:start; padding:4px 6px; background:#403c35; font:800 8px/1 "Trebuchet MS",sans-serif; text-transform:uppercase; }
.solver-branch.smith .branch-actor { background:var(--smith); }
.solver-branch.defender .branch-actor { background:var(--defender); }
.solver-branch strong { color:#f1c577; font:800 11px/1.3 "Trebuchet MS",sans-serif; }
.solver-branch .branch-target { color:#c3bcaf; font-size:11px; }
.solver-branch b { color:#8fd1be; font:800 8px/1.3 "Courier New",monospace; }
.solver-branch small { grid-column:1/-1; margin-top:5px; color:#8f887c; font:10px/1.35 "Trebuchet MS",sans-serif; }
.solver-branch.prune { opacity:.5; text-decoration:line-through; }
@media(max-width:1200px){ .theorem-strip{grid-template-columns:repeat(3,1fr)}.theorem-strip article:nth-child(3n){border-right:0} }
@media(max-width:900px){ .solver-grid,.root-finding{grid-template-columns:1fr}.root-finding{gap:12px} }
@media(max-width:620px){ .theorem-strip{grid-template-columns:1fr}.theorem-strip article{border-right:0}.solver-grid{grid-template-columns:1fr} }