:root {
  color-scheme: dark;
  --ink: #eef0ea;
  --muted: #969c99;
  --muted-strong: #bec2bd;
  --paper: #070a0d;
  --panel: #0d1216;
  --panel-soft: #10171c;
  --line: rgba(221, 230, 224, 0.13);
  --line-strong: rgba(221, 230, 224, 0.24);
  --accent: #d9c27b;
  --accent-hot: #e8a86a;
  --cyan: #78c7c4;
  --serif: Georgia, "Times New Roman", serif;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
  background: var(--paper);
}

body {
  margin: 0;
  min-width: 320px;
  color: var(--ink);
  background:
    radial-gradient(circle at 82% 8%, rgba(67, 93, 96, 0.15), transparent 28rem),
    var(--paper);
  font-family: var(--sans);
  -webkit-font-smoothing: antialiased;
}

button,
a {
  font: inherit;
}

button {
  color: inherit;
}

a {
  color: inherit;
  text-decoration: none;
}

::selection {
  color: #080a0c;
  background: var(--accent);
}

.site-shell {
  min-height: 100vh;
  overflow: clip;
}

.site-header {
  position: fixed;
  z-index: 100;
  top: 0;
  right: 0;
  left: 0;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  min-height: 76px;
  padding: 0 4vw;
  border-bottom: 1px solid var(--line);
  background: rgba(7, 10, 13, 0.84);
  backdrop-filter: blur(18px);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 0.75rem;
  width: max-content;
  font-size: 0.76rem;
  font-weight: 700;
  letter-spacing: 0.24em;
}

.brand > span:last-child {
  display: grid;
  gap: 0.2rem;
}

.brand small {
  color: var(--muted);
  font-family: var(--serif);
  font-size: 0.66rem;
  font-style: italic;
  font-weight: 400;
  letter-spacing: 0.08em;
  text-transform: lowercase;
}

.brand-mark {
  display: grid;
  width: 33px;
  height: 33px;
  place-items: center;
  border: 1px solid var(--accent);
  border-radius: 50%;
  color: var(--accent);
  font-family: var(--serif);
  font-size: 1rem;
  font-style: italic;
  letter-spacing: 0;
}

.site-header nav {
  display: flex;
  gap: clamp(1rem, 3vw, 3rem);
  color: var(--muted-strong);
  font-size: 0.72rem;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.site-header nav a {
  transition: color 180ms ease;
}

.site-header nav a:hover,
.site-header nav a:focus-visible {
  color: var(--accent);
}

.version {
  justify-self: end;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.08em;
}

.hero-section {
  position: relative;
  display: flex;
  min-height: 88vh;
  padding: clamp(9rem, 17vh, 13rem) 8vw 6rem;
  flex-direction: column;
  justify-content: center;
  border-bottom: 1px solid var(--line);
  isolation: isolate;
}

.hero-grid {
  position: absolute;
  z-index: -3;
  inset: 0;
  opacity: 0.42;
  background-image:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 64px 64px;
  mask-image: linear-gradient(to bottom, transparent, black 22%, black 70%, transparent);
}

.hero-section::before {
  position: absolute;
  z-index: -2;
  top: 20%;
  right: 8%;
  width: min(46vw, 640px);
  aspect-ratio: 1;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(120, 199, 196, 0.12), transparent 66%);
  content: "";
  filter: blur(8px);
}

.hero-orbit {
  position: absolute;
  z-index: -1;
  top: 20%;
  right: 8%;
  width: min(43vw, 600px);
  aspect-ratio: 1;
  border: 1px solid rgba(217, 194, 123, 0.24);
  border-radius: 50%;
}

.hero-orbit::before,
.hero-orbit::after {
  position: absolute;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--accent);
  box-shadow: 0 0 24px rgba(217, 194, 123, 0.7);
  content: "";
}

.hero-orbit::before {
  top: 13%;
  left: 18%;
}

.hero-orbit::after {
  right: 6%;
  bottom: 28%;
}

.orbit-two {
  transform: rotate(62deg) scaleY(0.38);
  border-color: rgba(120, 199, 196, 0.28);
}

.orbit-two::before,
.orbit-two::after {
  background: var(--cyan);
}

.eyebrow,
.micro-label {
  margin: 0;
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.67rem;
  letter-spacing: 0.18em;
  line-height: 1.4;
  text-transform: uppercase;
}

.hero-section h1 {
  max-width: 1050px;
  margin: 1.7rem 0 2.1rem;
  font-family: var(--serif);
  font-size: clamp(3.7rem, 8.2vw, 8.7rem);
  font-weight: 400;
  letter-spacing: -0.055em;
  line-height: 0.86;
}

.hero-section h1 em {
  color: var(--accent);
  font-weight: 400;
}

.hero-thesis {
  max-width: 710px;
  margin: 0;
  color: var(--muted-strong);
  font-family: var(--serif);
  font-size: clamp(1.1rem, 1.7vw, 1.45rem);
  line-height: 1.65;
}

.hero-actions {
  display: flex;
  align-items: center;
  gap: 2rem;
  margin-top: 3.2rem;
}

.hero-actions > span {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.68rem;
}

.primary-action {
  display: inline-flex;
  align-items: center;
  gap: 2.5rem;
  padding: 0.95rem 1.2rem;
  border: 1px solid var(--accent);
  background: rgba(217, 194, 123, 0.06);
  color: var(--accent);
  font-size: 0.72rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  transition: background 180ms ease, color 180ms ease;
}

.primary-action:hover,
.primary-action:focus-visible {
  background: var(--accent);
  color: var(--paper);
}

.ghost-action {
  color: var(--muted-strong);
  font-size: 0.72rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  border-bottom: 1px solid var(--line-strong);
}

.ghost-action:hover,
.ghost-action:focus-visible {
  color: var(--accent);
}

.axiom-strip {
  display: grid;
  grid-template-columns: 0.65fr 2.7fr 0.65fr;
  align-items: center;
  gap: 2rem;
  padding: 2rem 8vw;
  border-bottom: 1px solid var(--line);
  background: #090d10;
}

.axiom-strip > span {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.axiom-strip p {
  margin: 0;
  font-family: var(--serif);
  font-size: clamp(1rem, 1.5vw, 1.3rem);
  line-height: 1.5;
}

.axiom-strip code {
  justify-self: end;
  color: var(--cyan);
  font-family: var(--mono);
  font-size: 1rem;
}

.atlas-section,
.routes-section,
.method-section {
  padding: 7rem 4vw;
  scroll-margin-top: 76px;
}

.routes-section {
  border-block: 1px solid var(--line);
  background: #090d10;
}

.section-heading {
  display: grid;
  grid-template-columns: minmax(300px, 1.2fr) minmax(280px, 0.8fr);
  gap: 4rem;
  align-items: end;
  max-width: 1400px;
  margin: 0 auto 3.5rem;
}

.section-heading h2 {
  margin: 0.7rem 0 0;
  font-family: var(--serif);
  font-size: clamp(2.5rem, 5vw, 5.2rem);
  font-weight: 400;
  letter-spacing: -0.04em;
  line-height: 0.98;
}

.section-heading > p {
  max-width: 620px;
  margin: 0;
  color: var(--muted-strong);
  font-size: 0.92rem;
  line-height: 1.8;
}

.legend {
  display: flex;
  max-width: 1400px;
  margin: 0 auto 1rem;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.legend-chip {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  padding: 0.5rem 0.68rem;
  border: 1px solid var(--line);
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  transition: border-color 160ms ease, color 160ms ease, background 160ms ease;
}

.legend-chip span {
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--legend-color);
}

.legend-chip .legend-all {
  background: var(--ink);
}

.legend-chip:hover,
.legend-chip:focus-visible,
.legend-chip.is-active {
  border-color: var(--line-strong);
  background: rgba(255, 255, 255, 0.05);
  color: var(--ink);
}

.atlas-layout {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 340px;
  max-width: 1400px;
  margin: 0 auto;
  border: 1px solid var(--line);
  background: rgba(9, 13, 16, 0.82);
}

.graph-container {
  min-width: 0;
  overflow: auto;
  border-right: 1px solid var(--line);
}

.graph-stage {
  position: relative;
  min-width: 860px;
  height: 680px;
  background:
    radial-gradient(circle at 48% 46%, rgba(120, 199, 196, 0.08), transparent 36%),
    linear-gradient(rgba(255, 255, 255, 0.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.025) 1px, transparent 1px);
  background-size: auto, 40px 40px, 40px 40px;
}

.graph-lines {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  overflow: visible;
}

.graph-edge {
  opacity: 0.34;
  fill: none;
  stroke-width: 1.25;
  transition: opacity 180ms ease, stroke-width 180ms ease;
  vector-effect: non-scaling-stroke;
}

.graph-edge.is-related {
  opacity: 0.78;
  stroke-width: 1.8;
}

.graph-edge.is-path {
  opacity: 1;
  stroke-width: 3;
  filter: drop-shadow(0 0 5px currentColor);
}

.graph-node {
  position: absolute;
  z-index: 3;
  top: var(--node-y);
  left: var(--node-x);
  display: grid;
  min-width: 122px;
  padding: 0.72rem 0.8rem;
  transform: translate(-50%, -50%);
  border: 1px solid var(--line-strong);
  background: rgba(13, 18, 22, 0.94);
  box-shadow: 0 8px 22px rgba(0, 0, 0, 0.22);
  cursor: pointer;
  text-align: left;
  transition: border-color 180ms ease, background 180ms ease, opacity 180ms ease, transform 180ms ease;
}

.graph-node:hover,
.graph-node:focus-visible {
  z-index: 5;
  transform: translate(-50%, -50%) scale(1.035);
  border-color: var(--accent);
  outline: none;
}

.graph-node.is-selected {
  z-index: 4;
  border-color: var(--accent);
  background: #181a17;
  box-shadow: 0 0 0 1px rgba(217, 194, 123, 0.18), 0 12px 30px rgba(0, 0, 0, 0.38);
}

.graph-node.is-path {
  border-color: var(--cyan);
}

.graph-node.is-faded {
  opacity: 0.28;
}

.node-kind {
  margin-bottom: 0.35rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.52rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.graph-node strong {
  font-family: var(--serif);
  font-size: 0.91rem;
  font-weight: 400;
}

.concept-inspector {
  min-height: 680px;
  padding: 2rem;
  background:
    linear-gradient(145deg, rgba(217, 194, 123, 0.035), transparent 45%),
    var(--panel);
}

.inspector-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.status-pill {
  padding: 0.34rem 0.45rem;
  border: 1px solid var(--line-strong);
  color: var(--muted-strong);
  font-family: var(--mono);
  font-size: 0.52rem;
  line-height: 1.2;
  text-align: right;
  text-transform: uppercase;
}

.concept-inspector h3 {
  margin: 1.4rem 0 1rem;
  font-family: var(--serif);
  font-size: 2.3rem;
  font-weight: 400;
  letter-spacing: -0.04em;
}

.inspector-definition {
  margin: 0;
  color: var(--muted-strong);
  font-family: var(--serif);
  font-size: 1rem;
  line-height: 1.72;
}

.inspector-block {
  margin-top: 2rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--line);
}

.relation-list {
  display: grid;
  margin: 1rem 0 0;
  padding: 0;
  gap: 0.75rem;
  list-style: none;
}

.relation-list li {
  display: grid;
  grid-template-columns: 7px 1fr;
  align-items: baseline;
  gap: 0.65rem;
  color: var(--muted-strong);
  font-size: 0.7rem;
  line-height: 1.45;
}

.relation-list li span {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--relation-color);
}

.mini-routes {
  display: flex;
  margin-top: 1rem;
  flex-wrap: wrap;
  gap: 0.4rem;
}

.mini-routes button {
  padding: 0.43rem 0.52rem;
  border: 1px solid var(--line);
  background: transparent;
  color: var(--muted-strong);
  cursor: pointer;
  font-size: 0.62rem;
  text-align: left;
}

.mini-routes button:hover,
.mini-routes button:focus-visible {
  border-color: var(--accent);
  color: var(--accent);
}

.route-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  max-width: 1400px;
  margin: 0 auto;
  border-top: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.route-card {
  min-width: 0;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  background: transparent;
  transition: background 180ms ease;
}

.route-card:hover,
.route-card.is-active {
  background: rgba(217, 194, 123, 0.045);
}

.route-card.is-active {
  box-shadow: inset 0 3px 0 var(--accent);
}

.route-card > button {
  display: flex;
  width: 100%;
  min-height: 330px;
  padding: 1.5rem;
  flex-direction: column;
  border: 0;
  background: transparent;
  cursor: pointer;
  text-align: left;
}

.route-card > button:focus-visible {
  outline: 1px solid var(--accent);
  outline-offset: -5px;
}

.route-topline {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.54rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.route-topline span:first-child {
  color: var(--accent);
}

.route-card h3 {
  margin: 2rem 0 1rem;
  font-family: var(--serif);
  font-size: 1.65rem;
  font-weight: 400;
  letter-spacing: -0.025em;
}

.route-card p {
  margin: 0;
  color: var(--muted-strong);
  font-size: 0.78rem;
  line-height: 1.7;
}

.route-path {
  display: flex;
  margin-top: 1.8rem;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.35rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.52rem;
  line-height: 1.5;
}

.route-path i {
  color: var(--cyan);
  font-style: normal;
}

.route-card footer {
  margin-top: auto;
  padding-top: 1.5rem;
  color: #737976;
  font-family: var(--mono);
  font-size: 0.52rem;
  line-height: 1.45;
}

.principles-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  max-width: 1400px;
  margin: 0 auto;
  border-top: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.principle {
  min-height: 230px;
  padding: 1.5rem;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.principle > span {
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.62rem;
}

.principle h3 {
  margin: 2.2rem 0 0.8rem;
  font-family: var(--serif);
  font-size: 1.3rem;
  font-weight: 400;
}

.principle p {
  margin: 0;
  color: var(--muted);
  font-size: 0.75rem;
  line-height: 1.75;
}

.formal-note {
  display: grid;
  grid-template-columns: 160px minmax(0, 1fr);
  max-width: 1400px;
  margin: 1rem auto 0;
  border: 1px solid var(--line);
  background: linear-gradient(110deg, rgba(120, 199, 196, 0.06), transparent 52%);
}

.formal-symbol {
  display: grid;
  min-height: 210px;
  place-items: center;
  border-right: 1px solid var(--line);
  color: var(--cyan);
  font-family: var(--serif);
  font-size: 4.5rem;
  font-style: italic;
}

.formal-note > div {
  align-self: center;
  padding: 2rem 3rem;
}

.formal-note h3 {
  max-width: 900px;
  margin: 0.8rem 0;
  font-family: var(--serif);
  font-size: clamp(1.5rem, 3vw, 2.4rem);
  font-weight: 400;
  line-height: 1.2;
}

.formal-note div > p:last-child {
  max-width: 850px;
  margin: 0;
  color: var(--muted);
  font-size: 0.78rem;
  line-height: 1.7;
}

.site-footer {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 2rem;
  min-height: 160px;
  padding: 2rem 4vw;
  border-top: 1px solid var(--line);
  background: #050709;
  color: var(--muted);
  font-size: 0.65rem;
}

.footer-brand {
  color: var(--ink);
}

.site-footer p {
  margin: 0;
  text-align: center;
}

.site-footer > span:last-child {
  justify-self: end;
  font-family: var(--mono);
}

@media (max-width: 1120px) {
  .site-header {
    grid-template-columns: 1fr auto;
  }

  .site-header nav {
    display: none;
  }

  .atlas-layout {
    grid-template-columns: 1fr;
  }

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

  .concept-inspector {
    min-height: 0;
  }

  .route-grid,
  .principles-grid {
    grid-template-columns: repeat(2, 1fr);
  }
}

@media (max-width: 760px) {
  .site-header {
    min-height: 66px;
    padding-inline: 1.1rem;
  }

  .brand small,
  .version {
    display: none;
  }

  .hero-section {
    min-height: 82vh;
    padding: 8.5rem 1.25rem 4rem;
  }

  .hero-orbit {
    top: 24%;
    right: -28%;
    width: 88vw;
  }

  .hero-section h1 {
    font-size: clamp(3.2rem, 16vw, 5.7rem);
  }

  .hero-thesis {
    font-size: 1rem;
  }

  .hero-actions {
    align-items: flex-start;
    flex-direction: column;
    gap: 1rem;
  }

  .axiom-strip {
    grid-template-columns: 1fr;
    gap: 0.8rem;
    padding: 1.5rem 1.25rem;
  }

  .axiom-strip code {
    justify-self: start;
  }

  .atlas-section,
  .routes-section,
  .method-section {
    padding: 5rem 1rem;
  }

  .section-heading {
    grid-template-columns: 1fr;
    gap: 1.8rem;
    margin-bottom: 2.5rem;
  }

  .section-heading h2 {
    font-size: 3rem;
  }

  .graph-stage {
    min-width: 820px;
    height: 650px;
  }

  .concept-inspector {
    padding: 1.4rem;
  }

  .route-grid,
  .principles-grid {
    grid-template-columns: 1fr;
  }

  .route-card > button {
    min-height: 285px;
  }

  .formal-note {
    grid-template-columns: 1fr;
  }

  .formal-symbol {
    min-height: 120px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .formal-note > div {
    padding: 1.5rem;
  }

  .site-footer {
    grid-template-columns: 1fr;
    justify-items: start;
  }

  .site-footer p {
    text-align: left;
  }

  .site-footer > span:last-child {
    justify-self: start;
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}
