:root {
  color-scheme: light;
  --ink: #172033;
  --ink-soft: #4f5f76;
  --muted: #7b8798;
  --line: #dfe4eb;
  --line-strong: #cfd6e0;
  --paper: #ffffff;
  --canvas: #f3f5f8;
  --blue: #245ea8;
  --blue-deep: #17477f;
  --purple: #6d5bd0;
  --teal: #0f8a83;
  --amber: #a87518;
  --shadow: 0 28px 80px rgba(35, 48, 69, 0.11);
  font-family:
    Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
  font-synthesis: none;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  min-width: 320px;
  margin: 0;
  color: var(--ink);
  background:
    radial-gradient(circle at 82% 12%, rgba(36, 94, 168, 0.06), transparent 24rem),
    linear-gradient(180deg, #fafbfc 0, #f4f6f9 42rem, #eef1f5 100%);
}

button,
input {
  font: inherit;
}

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

.site-header {
  position: relative;
  z-index: 10;
  display: flex;
  width: min(1480px, calc(100% - 64px));
  height: 78px;
  margin: 0 auto;
  align-items: center;
  border-bottom: 1px solid rgba(207, 214, 224, 0.78);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 11px;
  font-size: 15px;
  font-weight: 750;
  letter-spacing: -0.02em;
}

.brand-mark {
  display: block;
  width: 29px;
  height: 29px;
  flex: none;
}

.header-divider {
  width: 1px;
  height: 17px;
  margin: 0 16px;
  background: var(--line-strong);
}

.header-label {
  color: var(--muted);
  font-size: 12px;
  font-weight: 650;
}

.header-status {
  display: inline-flex;
  margin-left: auto;
  align-items: center;
  gap: 8px;
  color: var(--ink-soft);
  font-size: 11px;
  font-weight: 650;
}

.status-dot {
  width: 7px;
  height: 7px;
  border-radius: 999px;
  background: var(--amber);
  box-shadow: 0 0 0 4px rgba(168, 117, 24, 0.11);
}

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

.hero {
  display: grid;
  min-height: 420px;
  grid-template-columns: minmax(0, 1fr) minmax(420px, 0.78fr);
  align-items: center;
  gap: 72px;
  padding: 78px 5.5% 68px;
}

.eyebrow,
.label {
  margin: 0;
  color: var(--blue);
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.19em;
}

.hero h1 {
  max-width: 780px;
  margin: 13px 0 18px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(44px, 5vw, 72px);
  font-weight: 500;
  line-height: 0.98;
  letter-spacing: -0.05em;
}

.hero h1 span {
  color: #667388;
}

.hero-copy > p:last-child {
  max-width: 590px;
  margin: 0;
  color: var(--ink-soft);
  font-size: 16px;
  line-height: 1.7;
}

.hero-orbit {
  position: relative;
  width: min(100%, 520px);
  aspect-ratio: 1.42;
  justify-self: end;
  border: 1px solid rgba(207, 214, 224, 0.72);
  border-radius: 50%;
  background:
    radial-gradient(circle, rgba(36, 94, 168, 0.07) 0 1px, transparent 1.5px) 0 0 / 22px 22px,
    rgba(255, 255, 255, 0.42);
  transform: rotate(-5deg);
}

.hero-orbit::before,
.hero-orbit::after {
  position: absolute;
  border: 1px solid rgba(36, 94, 168, 0.11);
  border-radius: 50%;
  content: "";
}

.hero-orbit::before {
  inset: 12% 19%;
}

.hero-orbit::after {
  inset: 29% 36%;
}

.orbit-line {
  position: absolute;
  z-index: 1;
  height: 1px;
  background: linear-gradient(90deg, transparent, #aeb9c8 12%, #aeb9c8 88%, transparent);
  transform-origin: left center;
}

.orbit-line-one {
  top: 37%;
  left: 18%;
  width: 65%;
  transform: rotate(13deg);
}

.orbit-line-two {
  top: 63%;
  left: 22%;
  width: 54%;
  transform: rotate(-31deg);
}

.orbit-node {
  position: absolute;
  z-index: 2;
  width: 17px;
  height: 17px;
  border: 4px solid #fff;
  border-radius: 999px;
  background: var(--blue);
  box-shadow: 0 5px 15px rgba(36, 94, 168, 0.25);
}

.node-one {
  top: 23%;
  left: 17%;
}

.node-two {
  top: 49%;
  left: 43%;
  width: 21px;
  height: 21px;
  background: var(--purple);
}

.node-three {
  right: 14%;
  bottom: 24%;
  background: var(--teal);
}

.node-four {
  right: 23%;
  top: 16%;
  background: var(--blue-deep);
}

.orbit-label {
  position: absolute;
  z-index: 3;
  padding: 5px 8px;
  border: 1px solid rgba(207, 214, 224, 0.75);
  border-radius: 7px;
  color: var(--ink-soft);
  background: rgba(255, 255, 255, 0.86);
  box-shadow: 0 6px 18px rgba(35, 48, 69, 0.07);
  font-size: 10px;
  font-weight: 700;
  transform: rotate(5deg);
}

.label-one {
  top: 15%;
  left: 9%;
}

.label-two {
  top: 55%;
  left: 48%;
}

.label-three {
  right: 4%;
  bottom: 16%;
}

.label-four {
  right: 14%;
  top: 7%;
}

.workspace {
  display: grid;
  min-height: 790px;
  grid-template-columns: 350px minmax(0, 1fr);
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: 24px;
  background: var(--paper);
  box-shadow: var(--shadow);
}

.paper-panel {
  display: flex;
  min-width: 0;
  flex-direction: column;
  padding: 30px;
  border-right: 1px solid var(--line);
  background:
    linear-gradient(180deg, rgba(244, 246, 249, 0.72), rgba(255, 255, 255, 0) 16rem),
    #fff;
}

.paper-status {
  display: flex;
  align-items: center;
  gap: 12px;
}

.paper-status-icon {
  display: grid;
  width: 36px;
  height: 36px;
  place-items: center;
  border: 1px solid var(--line-strong);
  border-radius: 10px;
  color: var(--blue);
  background: #fff;
  font-size: 10px;
  font-weight: 800;
  box-shadow: 0 7px 18px rgba(35, 48, 69, 0.07);
}

.paper-status > span:last-child {
  display: grid;
  gap: 2px;
}

.paper-status small {
  color: var(--muted);
  font-size: 8px;
  font-weight: 800;
  letter-spacing: 0.15em;
}

.paper-status strong {
  font-size: 12px;
}

.paper-picker {
  display: grid;
  gap: 8px;
  margin-top: 28px;
}

.paper-picker > span:first-child {
  color: var(--muted);
  font-size: 8px;
  font-weight: 800;
  letter-spacing: 0.15em;
}

.paper-select-shell {
  position: relative;
  display: block;
}

.paper-select-shell select {
  width: 100%;
  min-height: 44px;
  appearance: none;
  padding: 0 38px 0 13px;
  border: 1px solid var(--line-strong);
  border-radius: 11px;
  outline: 0;
  color: var(--ink);
  background: #fff;
  font: inherit;
  font-size: 11px;
  font-weight: 700;
  text-overflow: ellipsis;
  box-shadow: 0 7px 18px rgba(35, 48, 69, 0.05);
  cursor: pointer;
}

.paper-select-shell select:hover,
.paper-select-shell select:focus-visible {
  border-color: rgba(45, 103, 169, 0.5);
}

.paper-select-shell i {
  position: absolute;
  top: 50%;
  right: 14px;
  color: var(--blue);
  font-size: 14px;
  font-style: normal;
  pointer-events: none;
  transform: translateY(-55%);
}

.paper-heading {
  margin-top: 28px;
}

.paper-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 7px;
}

.tag {
  display: inline-flex;
  min-height: 25px;
  align-items: center;
  padding: 0 9px;
  border: 1px solid var(--line-strong);
  border-radius: 999px;
  color: var(--ink-soft);
  background: #fff;
  font-size: 8px;
  font-weight: 800;
  letter-spacing: 0.07em;
}

.tag-dark {
  color: #fff;
  border-color: var(--ink);
  background: var(--ink);
}

.paper-heading h2 {
  margin: 20px 0 9px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 30px;
  font-weight: 500;
  line-height: 1.12;
  letter-spacing: -0.035em;
}

.paper-authors {
  margin: 0;
  color: var(--muted);
  font-size: 11px;
  line-height: 1.5;
}

.paper-summary {
  margin: 18px 0 0;
  color: var(--ink-soft);
  font-size: 12px;
  line-height: 1.65;
}

.paper-source-link {
  display: inline-flex;
  width: 100%;
  min-height: 36px;
  margin-top: 14px;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding: 0 11px;
  border: 1px solid var(--line-strong);
  border-radius: 10px;
  color: var(--blue-deep);
  background: rgba(36, 94, 168, 0.06);
  font-size: 10px;
  font-weight: 800;
  line-height: 1.25;
  transition: border-color 130ms ease, background 130ms ease, transform 130ms ease;
}

.paper-source-link::after {
  flex: 0 0 auto;
  color: var(--blue);
  content: "Open";
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.paper-source-link:hover {
  border-color: rgba(36, 94, 168, 0.45);
  background: rgba(36, 94, 168, 0.1);
  transform: translateY(-1px);
}

.paper-source-link:focus-visible {
  outline: 2px solid rgba(36, 94, 168, 0.45);
  outline-offset: 2px;
}

.paper-divider {
  height: 1px;
  margin: 28px 0;
  background: var(--line);
}

.paper-note ul {
  display: grid;
  gap: 18px;
  margin: 22px 0 0;
  padding: 0;
  list-style: none;
}

.paper-note li {
  display: grid;
  grid-template-columns: 27px minmax(0, 1fr);
  gap: 10px;
}

.note-index {
  color: #a4adba;
  font: 700 9px/1.5 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.paper-note li > span:last-child {
  display: grid;
  gap: 3px;
}

.paper-note strong {
  font-size: 11px;
}

.paper-note small {
  color: var(--muted);
  font-size: 10px;
  line-height: 1.45;
}

.checkpoint-note {
  display: flex;
  margin-top: auto;
  align-items: flex-start;
  gap: 10px;
  padding: 14px;
  border: 1px solid #e7deca;
  border-radius: 12px;
  background: #fcfaf4;
}

.checkpoint-icon {
  display: grid;
  width: 24px;
  height: 24px;
  flex: 0 0 auto;
  place-items: center;
  border-radius: 7px;
  color: #80601e;
  background: #f3ead5;
  font-size: 12px;
}

.checkpoint-note p {
  margin: 0;
  color: #806e4e;
  font-size: 10px;
  line-height: 1.5;
}

.checkpoint-note strong {
  color: #5f4a1c;
}

.checkpoint-note.ready {
  border-color: #cce4de;
  background: #f2f8f6;
}

.checkpoint-note.ready .checkpoint-icon {
  color: #176d5d;
  background: #dcefe9;
}

.checkpoint-note.ready p {
  color: #57746d;
}

.checkpoint-note.ready strong {
  color: #176d5d;
}

.blueprint-panel {
  display: grid;
  min-width: 0;
  grid-template-rows: auto minmax(0, 1fr) auto;
  background: var(--canvas);
}

.blueprint-toolbar {
  display: flex;
  min-height: 88px;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 18px 22px 18px 26px;
  border-bottom: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.82);
}

.blueprint-toolbar h2 {
  margin: 4px 0 0;
  font-size: 16px;
  letter-spacing: -0.02em;
}

.diagram-switcher {
  display: inline-flex;
  margin-top: 13px;
  padding: 3px;
  border: 1px solid var(--line-strong);
  border-radius: 10px;
  background: #e8edf3;
}

.diagram-switcher.hidden {
  display: none;
}

.diagram-switch {
  min-width: 96px;
  min-height: 34px;
  padding: 0 15px;
  border: 0;
  border-radius: 7px;
  color: var(--ink-soft);
  background: transparent;
  cursor: pointer;
  font-size: 10px;
  font-weight: 800;
}

.diagram-switch[aria-pressed="true"] {
  color: #fff;
  background: var(--blue-deep);
  box-shadow: 0 4px 12px rgba(23, 71, 127, 0.24);
}

.diagram-switch:focus-visible {
  outline: 2px solid rgba(36, 94, 168, 0.5);
  outline-offset: 2px;
}

.diagram-viewers {
  display: grid;
  align-content: start;
  gap: 18px;
  padding: 14px;
}

.diagram-card {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 17px;
  background: #fff;
  box-shadow: 0 10px 34px rgba(35, 48, 69, 0.07);
}

.diagram-card-header {
  display: flex;
  min-height: 88px;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 16px 18px 16px 20px;
  border-bottom: 1px solid var(--line);
}

.diagram-card-header h3 {
  margin: 5px 0 4px;
  font-size: 15px;
  letter-spacing: -0.02em;
}

.diagram-description {
  margin: 0;
  color: var(--muted);
  font-size: 10px;
  line-height: 1.45;
}

.toolbar-actions {
  display: flex;
  gap: 8px;
}

.button {
  display: inline-flex;
  min-height: 36px;
  align-items: center;
  justify-content: center;
  gap: 7px;
  padding: 0 13px;
  border: 1px solid transparent;
  border-radius: 9px;
  cursor: pointer;
  font-size: 10px;
  font-weight: 750;
  transition: transform 130ms ease, border-color 130ms ease, background 130ms ease;
}

.button:hover {
  transform: translateY(-1px);
}

.button-secondary {
  color: var(--ink-soft);
  border-color: var(--line-strong);
  background: #fff;
}

.button-secondary:hover {
  color: var(--ink);
  border-color: #b7c1cf;
}

.button-primary {
  color: #fff;
  border-color: var(--ink);
  background: var(--ink);
  box-shadow: 0 8px 18px rgba(23, 32, 51, 0.15);
}

.button-primary:hover {
  background: #263149;
}

.viewer-shell {
  position: relative;
  min-height: 620px;
  overflow: hidden;
  background: #f4f6f9;
}

.json-graph-shell {
  display: grid;
  min-height: 620px;
  grid-template-rows: auto minmax(0, 1fr) auto;
  background: #f4f6f9;
}

.public-api-graph-card .json-graph-shell {
  height: min(820px, calc(100vh - 80px));
  min-height: 620px;
}

.public-api-graph-card .json-graph-detail {
  margin-top: 30px;
  max-height: min(270px, 35vh);
  overflow-y: auto;
  box-shadow: 0 -8px 20px rgba(35, 48, 69, 0.06);
}

.public-api-graph-card .json-graph-canvas {
  min-height: 0;
}

.json-graph-meta {
  display: flex;
  min-height: 42px;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  padding: 0 18px;
  border-bottom: 1px solid var(--line);
  color: var(--muted);
  background: rgba(255, 255, 255, 0.68);
  font-size: 10px;
  font-weight: 750;
}

.public-api-viewport-controls {
  display: inline-flex;
  align-items: center;
  gap: 3px;
  padding: 3px;
  border: 1px solid var(--line-strong);
  border-radius: 9px;
  background: #fff;
}

.public-api-viewport-controls[hidden] {
  display: none;
}

.public-api-viewport-controls button {
  min-width: 28px;
  height: 26px;
  padding: 0 7px;
  border: 0;
  border-radius: 6px;
  color: var(--ink-soft);
  background: transparent;
  cursor: pointer;
  font: inherit;
  font-size: 10px;
  font-weight: 800;
}

.public-api-viewport-controls button:hover,
.public-api-viewport-controls button:focus-visible {
  color: #fff;
  outline: 0;
  background: var(--blue-deep);
}

.public-api-viewport-controls button[hidden] {
  display: none;
}

.public-api-viewport-controls .public-api-view-toggle {
  min-width: 98px;
  border-right: 1px solid var(--line);
  border-radius: 6px 0 0 6px;
}

.public-api-viewport-controls .public-api-view-toggle.is-active {
  color: #fff;
  background: var(--blue-deep);
}

.public-api-viewport-controls button:disabled {
  color: var(--muted);
  cursor: not-allowed;
  opacity: 0.45;
}

.public-api-viewport-controls .public-api-zoom-label {
  min-width: 48px;
}

.public-api-viewport-controls .public-api-fit-button {
  border-left: 1px solid var(--line);
  border-radius: 0 6px 6px 0;
}

.json-graph-state {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  color: #80601e;
}

.json-graph-state::before {
  width: 6px;
  height: 6px;
  border-radius: 999px;
  background: var(--amber);
  content: "";
}

.json-graph-state.ready {
  color: #176d5d;
}

.json-graph-state.ready::before {
  background: var(--teal);
}

.json-graph-canvas {
  min-height: 500px;
  overflow: auto;
  background:
    linear-gradient(rgba(207, 214, 224, 0.36) 1px, transparent 1px) 0 0 / 28px 28px,
    linear-gradient(90deg, rgba(207, 214, 224, 0.28) 1px, transparent 1px) 0 0 / 28px 28px,
    #f8fafc;
}

.public-api-graph-card .json-graph-canvas {
  cursor: grab;
  overscroll-behavior: contain;
}

.public-api-graph-card .json-graph-canvas.is-panning {
  cursor: grabbing;
  user-select: none;
}

.json-graph-canvas svg {
  display: block;
  min-width: 100%;
  min-height: 500px;
}

.json-graph-canvas svg.public-api-graph {
  min-width: 0;
  min-height: 0;
}

.json-graph-edges path {
  fill: none;
  stroke: #aeb8c6;
  stroke-width: 1.5;
}

.json-graph-edges path.status-valid,
.json-graph-edges path.status-complete {
  stroke: #1c8b71;
}

.json-graph-edges path.status-working,
.json-graph-edges path.status-gap,
.json-graph-edges path.status-has_issues {
  stroke: #b67a1c;
  stroke-dasharray: 6 5;
}

.json-graph-edges path.status-critical {
  stroke: #b94848;
  stroke-width: 2;
  stroke-dasharray: 7 4;
}

.public-api-graph marker path {
  fill: #758399;
}

.public-api-cluster > rect {
  fill: rgba(239, 244, 250, 0.64);
  stroke: #c8d4e3;
  stroke-width: 1.2;
}

.public-api-cluster.is-expanded > rect {
  fill: rgba(239, 244, 250, 0.78);
  stroke: #9fb5cf;
}

.public-api-cluster {
  cursor: pointer;
  outline: 0;
}

.public-api-cluster-header {
  fill: transparent;
  stroke: transparent;
  cursor: pointer;
  outline: 0;
}

.public-api-cluster:focus-visible > rect:first-child {
  fill: rgba(36, 94, 168, 0.06);
  stroke: var(--blue);
  stroke-width: 2;
}

.public-api-cluster > rect.public-api-cluster-header {
  fill: transparent;
  stroke: transparent;
}

.public-api-cluster.attention-critical > rect:first-child {
  fill: #fff4f3;
  stroke: #bd3434;
  stroke-width: 2;
}

.public-api-cluster-attention {
  pointer-events: none;
}

.public-api-cluster-attention circle {
  fill: #bd3434;
}

.public-api-attention-icon {
  fill: white;
  font-size: 26px;
  font-weight: 850;
  text-anchor: middle;
}

.public-api-attention-label {
  fill: #a12626;
  font-size: 12px;
  font-weight: 850;
}

.public-api-cluster.attention-critical:hover > rect:first-child,
.public-api-cluster.attention-critical:focus-visible > rect:first-child {
  stroke-width: 3;
  filter: drop-shadow(0 2px 5px #75839955);
}

.public-api-cluster-sequence {
  fill: var(--blue);
  font-size: 9px;
  font-weight: 850;
  letter-spacing: 0.1em;
}

.public-api-cluster-title {
  fill: var(--ink);
  font-size: 18px;
  font-weight: 850;
}

.public-api-cluster-formula-title,
.public-api-object-formula-title {
  overflow: hidden;
  pointer-events: none;
}

.public-api-cluster-formula-title-copy {
  display: -webkit-box;
  max-height: 44px;
  overflow: hidden;
  color: var(--ink);
  font-family: Inter, Arial, sans-serif;
  font-size: 18px;
  font-weight: 850;
  line-height: 21px;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
}

.public-api-cluster-formula-title-copy mjx-container,
.public-api-object-formula-title-copy mjx-container {
  margin: 0 0.04em !important;
  color: inherit;
  font-size: 1em !important;
}

/* WebKit paints layered HTML inside a <foreignObject> without the transforms of
   its SVG ancestors (https://bugs.webkit.org/show_bug.cgi?id=23113). MathJax's
   CHTML stylesheet gives every container `will-change: opacity` through a
   Safari-only selector, so in Safari the formulas floated to the SVG origin
   while the surrounding words stayed in place. Keep the containers unlayered
   inside the graph. */
svg.public-api-graph mjx-container {
  position: static !important;
  will-change: auto !important;
}

.public-api-cluster-subtitle {
  fill: var(--muted);
  font-size: 18px;
  font-weight: 700;
  letter-spacing: 0.03em;
}

.public-api-cluster-formula {
  overflow: hidden;
  pointer-events: none;
}

.public-api-cluster-formula-copy {
  height: 70px;
  overflow: hidden;
  color: var(--muted);
  font-family: Inter, Arial, sans-serif;
  font-size: 18px;
  font-weight: 700;
  letter-spacing: 0.03em;
  line-height: 20px;
}

.public-api-cluster-formula-statement {
  display: -webkit-box;
  max-height: 40px;
  overflow: hidden;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
}

.public-api-cluster-formula-count {
  height: 20px;
  overflow: hidden;
  white-space: nowrap;
}

.public-api-cluster-formula-copy mjx-container {
  margin: 0 0.04em !important;
  color: inherit;
  font-size: 1em !important;
}

.public-api-cluster .public-api-cluster-action-background {
  fill: #eaf1fb;
  stroke: #adc3df;
  stroke-width: 1;
  pointer-events: none;
}

.public-api-cluster-action {
  fill: var(--blue);
  font-size: 12px;
  font-weight: 850;
  letter-spacing: 0.08em;
  pointer-events: none;
}

.public-api-cluster-correlations {
  pointer-events: none;
}

.public-api-cluster-correlation {
  fill: none;
  stroke: #8592a4;
  stroke-width: 1.35;
  opacity: 0.58;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.public-api-cluster-sequence,
.public-api-cluster-title,
.public-api-cluster-subtitle {
  pointer-events: none;
}

.public-api-edges path {
  stroke: #758399;
  stroke-width: 1.35;
  opacity: 0.72;
  stroke-linecap: round;
  stroke-linejoin: round;
  pointer-events: none;
}

.public-api-edges path.kind-object-dependency {
  stroke: #8592a4;
  stroke-width: 1;
  opacity: 0.3;
}

.public-api-edges path.kind-refinement {
  stroke: #3879b8;
  stroke-width: 1.75;
  opacity: 0.82;
}

.public-api-edges path.kind-closure {
  stroke: #7554a3;
  stroke-width: 2.1;
  opacity: 0.9;
}

.public-api-edges path.arrow-dotted {
  stroke-dasharray: 3 6;
  opacity: 0.58;
}

.public-api-edges path.kind-object-dependency.arrow-dotted {
  opacity: 0.22;
}

.public-api-edges path.is-selected-dependency {
  stroke-width: 2.4;
  opacity: 0.94;
}

.public-api-object > rect {
  fill: rgba(255, 255, 255, 0.96);
  stroke: #cfd6e0;
  stroke-width: 1.2;
  filter: drop-shadow(0 10px 22px rgba(35, 48, 69, 0.09));
}

.public-api-object.is-expanded > rect {
  fill: #f8fbff;
  stroke: #9eb5cf;
  stroke-width: 1.5;
}

.public-api-object.status-verified > rect {
  stroke: #55a590;
}

.public-api-object.status-verified_modulo_open > rect {
  fill: #fffcf4;
  stroke: #c9953d;
}

.public-api-object.status-open > rect {
  fill: #fff9ed;
  stroke: #bd781f;
}

.public-api-object.status-refuted > rect,
.public-api-object.status-inconsistent > rect {
  fill: #fff5f4;
  stroke: #bc4c4c;
}

.public-api-object.status-source_ambiguous > rect,
.public-api-object.status-no_stable_claim > rect,
.public-api-object.status-workflow_incomplete > rect,
.public-api-object.status-evidence_missing > rect {
  fill: #f7f5fb;
  stroke: #76658f;
}

.public-api-object.selected > rect {
  stroke: var(--blue);
  stroke-width: 2.2;
}

.public-api-object-separator {
  stroke: #dbe4ef;
  stroke-width: 1;
}

.public-api-object-header {
  cursor: pointer;
  outline: 0;
}

.public-api-object-hit-area,
.json-graph-node.public-api-node > rect.public-api-node-hit-area {
  fill: transparent;
  stroke: none;
  filter: none;
  pointer-events: all;
}

.public-api-object-header:hover .public-api-object-hit-area,
.public-api-object-header:focus-visible .public-api-object-hit-area {
  fill: rgba(36, 94, 168, 0.06);
  stroke: var(--blue);
  stroke-width: 2;
}

.public-api-node:hover > rect:first-child {
  stroke-width: 2.5;
  filter: drop-shadow(0 0 6px rgba(36, 94, 168, 0.3));
}

.public-api-object-header:focus-visible .public-api-object-title,
.public-api-object-header:focus-visible .public-api-object-formula-title-copy {
  color: var(--blue);
  fill: var(--blue);
  text-decoration: underline;
}

.public-api-object-title {
  fill: var(--ink);
  font-size: 15px;
  font-weight: 800;
}

.public-api-object-formula-title-copy {
  display: -webkit-box;
  max-height: 48px;
  overflow: hidden;
  color: var(--ink);
  font-family: Inter, Arial, sans-serif;
  font-size: 15px;
  font-weight: 800;
  line-height: 16px;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 3;
}

.public-api-object-state {
  fill: var(--muted);
  font-size: 10px;
  font-weight: 750;
  letter-spacing: 0.08em;
}

.public-api-object .public-api-object-action-background {
  fill: #eef4fc;
  stroke: #b7c9df;
  stroke-width: 1;
  pointer-events: none;
}

.public-api-object-action {
  fill: var(--blue);
  font-size: 10px;
  font-weight: 850;
  letter-spacing: 0.08em;
}

.json-graph-node {
  cursor: pointer;
  outline: 0;
}

.json-graph-node rect {
  fill: #fff;
  stroke: #cfd6e0;
  stroke-width: 1.2;
  filter: drop-shadow(0 7px 13px rgba(35, 48, 69, 0.08));
}

.json-graph-node.status-valid rect,
.json-graph-node.status-complete rect {
  stroke: #47a48e;
}

.json-graph-node.status-working rect,
.json-graph-node.status-gap rect,
.json-graph-node.status-has_issues rect {
  stroke: #c28a2f;
  fill: #fffaf0;
}

.json-graph-node.status-critical rect {
  stroke: #bf4a4a;
  fill: #fff5f4;
}

.json-graph-node.status-verified rect {
  stroke: #36957c;
  fill: #f5fcf9;
}

.json-graph-node.status-verified_modulo_open rect {
  stroke: #bf8a2f;
  fill: #fffaf0;
}

.json-graph-node.status-open rect {
  stroke: #b66d1e;
  fill: #fff7e8;
}

.json-graph-node.status-refuted rect,
.json-graph-node.status-inconsistent rect {
  stroke: #bd4747;
  fill: #fff2f1;
}

.json-graph-node.status-source_ambiguous rect,
.json-graph-node.status-no_stable_claim rect,
.json-graph-node.status-workflow_incomplete rect,
.json-graph-node.status-evidence_missing rect {
  stroke: #76658f;
  fill: #f7f5fb;
}

.public-api-node rect {
  filter: drop-shadow(0 5px 10px rgba(35, 48, 69, 0.1));
}

.public-api-node.role-work_item rect {
  stroke-width: 1.35;
}

.public-api-node.role-closure rect {
  fill: #f7f3fc;
  stroke: #7554a3;
  stroke-width: 2;
}

.public-api-node.role-closure .json-graph-kind {
  fill: #7554a3;
}

.public-api-node.selected rect {
  filter: drop-shadow(0 0 8px rgba(36, 94, 168, 0.35));
}

.json-graph-node.selected rect,
.json-graph-node:focus-visible rect {
  stroke: var(--blue);
  stroke-width: 2;
}

.json-graph-kind {
  fill: var(--blue);
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.json-graph-title {
  fill: var(--ink);
  font-size: 12px;
  font-weight: 800;
}

.json-graph-subline {
  fill: var(--muted);
  font-size: 10px;
  font-weight: 650;
}

.json-graph-detail {
  min-height: 104px;
  padding: 15px 18px 18px;
  border-top: 1px solid var(--line);
  background: #fff;
}

.json-graph-detail h4 {
  margin: 5px 0 7px;
  font-size: 14px;
  letter-spacing: -0.02em;
}

.json-graph-detail p:last-child {
  max-width: 820px;
  margin: 0;
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.55;
}

.public-api-detail-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
}

.public-api-detail-heading .label {
  margin: 0;
}

.public-api-state {
  display: inline-flex;
  padding: 4px 8px;
  border: 1px solid #cfd6e0;
  border-radius: 999px;
  color: var(--ink-soft);
  font-size: 8px;
  font-weight: 800;
  letter-spacing: 0.08em;
}

.public-api-state.status-verified {
  color: #176d5d;
  border-color: #75b9a7;
  background: #effaf6;
}

.public-api-state.status-verified_modulo_open,
.public-api-state.status-open {
  color: #815817;
  border-color: #d5aa62;
  background: #fff8e9;
}

.public-api-state.status-refuted,
.public-api-state.status-inconsistent {
  color: #9e3636;
  border-color: #d78c8c;
  background: #fff1f0;
}

.public-api-state.status-source_ambiguous,
.public-api-state.status-no_stable_claim,
.public-api-state.status-workflow_incomplete,
.public-api-state.status-evidence_missing {
  color: #5c4b74;
  border-color: #a99bbb;
  background: #f5f1fa;
}

.json-graph-detail section {
  max-width: 980px;
  margin-top: 13px;
}

.json-graph-detail section strong {
  color: var(--ink);
  font-size: 10px;
}

.json-graph-detail section p {
  margin: 5px 0 0;
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.58;
}

.public-api-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 16px;
  margin: 8px 0 10px;
}

.public-api-legend span {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  color: var(--ink-soft);
  font-size: 9px;
  font-weight: 700;
}

.public-api-legend i {
  width: 9px;
  height: 9px;
  border: 2px solid #cfd6e0;
  border-radius: 3px;
  background: #fff;
}

.public-api-legend i.status-verified {
  border-color: #36957c;
  background: #f5fcf9;
}

.public-api-legend i.status-verified_modulo_open {
  border-color: #bf8a2f;
  background: #fffaf0;
}

.public-api-legend i.status-open {
  border-color: #b66d1e;
  background: #fff7e8;
}

.public-api-legend i.status-refuted {
  border-color: #bd4747;
  background: #fff2f1;
}

.public-api-legend i.status-evidence_missing {
  border-color: #76658f;
  background: #f7f5fb;
}

.public-api-legend b {
  width: 24px;
  border-top: 2px solid #758399;
}

.public-api-legend b.edge-dotted {
  border-top-style: dotted;
}

.public-api-legend b.edge-object {
  border-color: #8592a4;
  opacity: 0.55;
}

.public-api-legend b.edge-refinement {
  border-color: #3879b8;
}

.public-api-legend b.edge-closure {
  border-color: #7554a3;
}

.public-api-edge-selection-summary {
  margin-top: 12px !important;
  color: var(--blue) !important;
  font-weight: 750;
}

.json-empty-state {
  display: grid;
  min-height: 500px;
  place-content: center;
  justify-items: center;
  gap: 7px;
  color: var(--muted);
  text-align: center;
}

.json-empty-state strong {
  color: var(--ink);
  font-size: 14px;
}

.json-empty-state span {
  max-width: 420px;
  font-size: 11px;
  line-height: 1.5;
}

.blueprint-frame {
  display: block;
  width: 100%;
  height: 100%;
  min-height: 620px;
  border: 0;
  background: #f4f6f9;
}

.frame-loading {
  position: absolute;
  z-index: 3;
  inset: 0;
  display: grid;
  place-content: center;
  justify-items: center;
  gap: 12px;
  color: var(--muted);
  background: #f4f6f9;
  font-size: 11px;
  transition: opacity 160ms ease, visibility 160ms ease;
}

.frame-loading.hidden {
  visibility: hidden;
  opacity: 0;
}

.loader {
  width: 22px;
  height: 22px;
  border: 2px solid #d3dae4;
  border-top-color: var(--blue);
  border-radius: 50%;
  animation: spin 700ms linear infinite;
}

@keyframes spin {
  to {
    transform: rotate(360deg);
  }
}

.viewer-caption {
  display: flex;
  min-height: 64px;
  align-items: center;
  justify-content: space-between;
  gap: 22px;
  padding: 14px 25px 18px;
  border-top: 1px solid rgba(223, 228, 235, 0.7);
  color: var(--muted);
  background: rgba(255, 255, 255, 0.42);
  font-size: 9px;
  line-height: 1.55;
}

.viewer-caption p {
  max-width: 690px;
  margin: 0;
}

.viewer-caption strong {
  color: var(--ink-soft);
}

.viewer-caption > span {
  display: inline-flex;
  flex: 0 0 auto;
  align-items: center;
  gap: 7px;
  color: #80601e;
  font-weight: 750;
}

.viewer-caption > span::before {
  width: 6px;
  height: 6px;
  border-radius: 999px;
  background: var(--amber);
  content: "";
}

.viewer-caption > span.ready {
  color: #21705f;
}

.viewer-caption > span.ready::before {
  background: var(--teal);
}

footer {
  display: flex;
  width: min(1480px, calc(100% - 64px));
  min-height: 78px;
  margin: 0 auto;
  align-items: center;
  justify-content: space-between;
  gap: 32px;
  color: var(--muted);
  font-size: 10px;
}

footer > span {
  color: var(--ink);
  font-weight: 800;
}

footer p {
  max-width: min(620px, 70vw);
  margin: 0;
  text-align: right;
  line-height: 1.45;
}

noscript {
  display: block;
  padding: 20px;
  color: #9a3333;
  text-align: center;
}

@media (max-width: 1100px) {
  .hero {
    min-height: 370px;
    grid-template-columns: minmax(0, 1fr) minmax(340px, 0.7fr);
    gap: 36px;
    padding-inline: 2%;
  }

  .workspace {
    grid-template-columns: 300px minmax(0, 1fr);
  }

  .paper-panel {
    padding: 24px;
  }
}

@media (max-width: 860px) {
  .site-header,
  main,
  footer {
    width: min(100% - 32px, 720px);
  }

  .hero {
    display: block;
    min-height: 0;
    padding: 72px 0 58px;
  }

  .hero-orbit {
    display: none;
  }

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

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

  .checkpoint-note {
    margin-top: 28px;
  }

  .viewer-shell,
  .blueprint-frame {
    min-height: 580px;
  }
}

@media (max-width: 580px) {
  .site-header,
  main,
  footer {
    width: calc(100% - 20px);
  }

  .site-header {
    height: 66px;
  }

  .header-divider,
  .header-label {
    display: none;
  }

  .header-status {
    font-size: 9px;
  }

  .hero {
    padding: 52px 8px 44px;
  }

  .hero h1 {
    font-size: 43px;
  }

  .hero-copy > p:last-child {
    font-size: 14px;
  }

  .workspace {
    border-radius: 17px;
  }

  .paper-panel {
    padding: 24px 20px;
  }

  .blueprint-toolbar {
    align-items: flex-start;
    flex-direction: column;
    padding: 18px;
  }

  .toolbar-actions {
    width: 100%;
  }

  .button {
    flex: 1;
  }

  .viewer-shell {
    min-height: 540px;
  }

  .blueprint-frame {
    min-height: 540px;
  }

  .diagram-viewers {
    gap: 12px;
    padding: 8px;
  }

  .diagram-card {
    border-radius: 13px;
  }

  .diagram-card-header {
    align-items: flex-start;
    flex-direction: column;
    gap: 12px;
  }

  .viewer-caption {
    align-items: flex-start;
    flex-direction: column;
    padding: 15px 18px 18px;
  }

  footer {
    min-height: 88px;
    align-items: flex-start;
    flex-direction: column;
    justify-content: center;
    gap: 8px;
  }

  footer p {
    max-width: 100%;
    text-align: left;
  }
}