.proof-layout {
  display: grid;
  grid-template-columns: 330px minmax(0, 1fr);
  min-height: calc(100dvh - 74px);
  max-width: 1920px;
  margin: auto;
}
.proof-sidebar {
  padding: 38px 26px 24px 32px;
  border-right: 1px solid #e9e9ee;
  max-height: calc(100dvh - 74px);
  overflow-y: auto;
  scrollbar-width: thin;
}
.proof-eyebrow {
  color: #81828c;
  font-size: 9px;
  font-weight: 650;
  letter-spacing: 1.4px;
  margin: 0 0 20px;
}
.proof-sidebar h1 {
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(30px, 2.8vw, 43px);
  font-weight: 400;
  letter-spacing: -1.6px;
  line-height: 1.08;
  margin: 0 0 18px;
}
.proof-intro {
  font-size: 13px;
  line-height: 1.7;
  color: #656770;
  margin: 0 0 24px;
}
.proof-stats {
  display: flex;
  gap: 28px;
  padding: 18px 0;
  border-top: 1px solid #e6e6ec;
  border-bottom: 1px solid #e6e6ec;
  margin-bottom: 24px;
  font-size: 11px;
  color: #757781;
}
.proof-stats strong {
  display: block;
  font-size: 24px;
  font-weight: 500;
  color: #25272c;
  line-height: 1.3;
  font-variant-numeric: tabular-nums;
}
.proof-search-label {
  font-size: 12px;
  font-weight: 600;
  display: block;
  margin-bottom: 8px;
}
.proof-sidebar input[type="search"] {
  width: 100%;
  min-width: 0;
  border: 1px solid #dedee7;
  border-radius: 5px;
  padding: 11px 12px;
  font: inherit;
  font-size: 12px;
  color: #34363d;
  background: var(--surface);
}
.proof-sidebar input:focus-visible,
.proof-sidebar select:focus-visible,
.proof-map-page button:focus-visible,
#wheel:focus-visible {
  outline: 2px solid #4662cf;
  outline-offset: 3px;
}
.proof-filters {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
  margin-top: 14px;
}
.proof-filters label {
  font-size: 10px;
  color: #777984;
}
.proof-filters select {
  display: block;
  width: 100%;
  border: 0;
  border-bottom: 1px solid #dddde5;
  background: var(--bg);
  padding: 8px 0;
  font: inherit;
  font-size: 11px;
  color: #454750;
  text-overflow: ellipsis;
}
.proof-checkbox {
  display: flex;
  gap: 7px;
  align-items: center;
  margin: 15px 0 0;
  font-size: 11px;
  color: #646670;
}
.proof-checkbox input {
  accent-color: #b69238;
}
.proof-muted {
  color: #82838d;
  font-size: 10px;
}
.proof-results {
  max-height: 180px;
  overflow-y: auto;
  scrollbar-width: thin;
}
.proof-result {
  display: block;
  width: 100%;
  border: 0;
  border-bottom: 1px solid #f0f0f4;
  background: var(--bg);
  color: #454b66;
  text-align: left;
  padding: 8px 4px;
  font: 11px var(--mono);
  cursor: pointer;
  overflow-wrap: anywhere;
}
.proof-result:hover,
.proof-result[aria-pressed="true"] {
  color: #2c4ac4;
  background: #f1f3fc;
}
.proof-result small {
  display: block;
  color: #9596a0;
  font:
    9px system-ui,
    sans-serif;
  margin-top: 3px;
}
.proof-selection {
  padding: 18px 0 4px;
  border-top: 1px solid #dddde5;
  margin-top: 18px;
}
.proof-selection h2 {
  font: 600 13px var(--mono);
  overflow-wrap: anywhere;
  margin: 10px 0;
  color: #2e3343;
}
.proof-selection p {
  font-size: 11px;
  line-height: 1.6;
  color: #767883;
}
.proof-selection a {
  font-size: 12px;
  color: #3c59bb;
}
.proof-selection button.proof-close {
  float: right;
  background: transparent;
  border: 0;
  cursor: pointer;
  color: #777;
  font-size: 16px;
}
.proof-selection .proof-dependencies {
  max-height: 130px;
  overflow-y: auto;
  margin: 10px 0;
}
.proof-about {
  border-top: 1px solid #e7e7ed;
  margin-top: 24px;
  padding-top: 15px;
  color: #767883;
  font-size: 11px;
  line-height: 1.7;
}
.proof-about summary {
  cursor: pointer;
  color: #565a66;
}
.proof-about a {
  color: #5369a7;
}
.proof-stage {
  position: relative;
  min-width: 0;
  height: calc(100dvh - 74px);
  min-height: 600px;
  overflow: hidden;
  background: var(--bg);
}
.proof-stage-heading {
  position: absolute;
  top: 22px;
  left: 28px;
  right: 28px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  z-index: 1;
  pointer-events: none;
}
.proof-stage-heading > span {
  font: 10px var(--mono);
  color: #93949e;
}
.proof-view-tabs {
  display: flex;
  border: 1px solid #e6e6ed;
  border-radius: 6px;
  padding: 3px;
  background: var(--bg);
  pointer-events: auto;
  box-shadow: 0 2px 8px #25272c04;
}
.proof-view-tabs button {
  font:
    12px system-ui,
    sans-serif;
  border: 0;
  background: transparent;
  color: #81838e;
  padding: 7px 13px;
  border-radius: 3px;
  cursor: pointer;
  transition:
    background 0.2s,
    color 0.2s;
}
.proof-view-tabs button[aria-pressed="true"] {
  background: #eef1fc;
  color: #3c58bf;
}
#wheel {
  display: block;
  width: 100%;
  height: 100%;
  touch-action: none;
  cursor: grab;
}
#wheel:active {
  cursor: grabbing;
}
.proof-legend {
  position: absolute;
  left: 28px;
  bottom: 54px;
  display: flex;
  flex-wrap: wrap;
  gap: 16px;
  pointer-events: none;
  font-size: 10px;
  color: #8b8c96;
}
.proof-legend span {
  display: inline-flex;
  align-items: center;
  gap: 5px;
}
.proof-legend i {
  display: inline-block;
  width: 6px;
  height: 6px;
}
.fact-dot {
  border-radius: 50%;
  background: #65717c;
}
.constant-dot {
  background: #65717c;
}
.type-dot {
  background: #65717c;
  clip-path: polygon(50% 0, 100% 100%, 0 100%);
}
.locale-dot {
  border: 1px solid #65717c;
  transform: rotate(45deg);
}
.cited-dot {
  background: #bc963d;
  transform: rotate(45deg);
}
.proof-controls {
  position: absolute;
  right: 24px;
  bottom: 18px;
  display: flex;
  gap: 5px;
}
.proof-controls button {
  background: var(--bg);
  border: 1px solid #e5e5eb;
  border-radius: 5px;
  padding: 7px 10px;
  color: #666a79;
  cursor: pointer;
  font:
    11px system-ui,
    sans-serif;
  box-shadow: 0 2px 4px #00000003;
}
.proof-controls button:hover {
  background: #f2f4fc;
}
.proof-stage-hint {
  position: absolute;
  bottom: 14px;
  left: 28px;
  font-size: 10px;
  color: #a0a1aa;
  pointer-events: none;
  margin: 0;
}
.proof-tooltip {
  position: absolute;
  z-index: 3;
  pointer-events: none;
  padding: 13px 16px;
  border: 1px solid #dedee5;
  border-radius: 5px;
  background: var(--surface);
  box-shadow: 0 5px 24px #29304c12;
  max-width: min(380px, 85%);
  overflow-wrap: anywhere;
}
.proof-tooltip strong {
  display: block;
  font: 600 12px var(--mono);
  color: #333746;
}
.proof-tooltip span {
  display: block;
  font-size: 10px;
  color: #7c7f8d;
  margin-top: 7px;
}
.proof-map-status {
  position: absolute;
  top: 45%;
  left: 15%;
  right: 15%;
  text-align: center;
  color: #7b7e8c;
  font-size: 13px;
}
@media (max-width: 1000px) {
  .proof-layout {
    grid-template-columns: 280px minmax(0, 1fr);
  }
  .proof-sidebar {
    padding: 30px 20px;
  }
  .proof-stage-heading > span {
    display: none;
  }
  .proof-stage-hint {
    display: none;
  }
}
@media (max-width: 700px) {
  .proof-layout {
    display: flex;
    flex-direction: column;
  }
  .proof-sidebar {
    max-height: none;
    border: 0;
    padding: 24px;
  }
  .proof-sidebar h1 br {
    display: none;
  }
  .proof-sidebar h1 {
    font-size: 32px;
  }
  .proof-intro {
    margin-bottom: 16px;
  }
  .proof-stats {
    margin-bottom: 18px;
  }
  .proof-stage {
    height: 68dvh;
    min-height: 440px;
    order: -1;
    border-bottom: 1px solid #eee;
  }
  .proof-stage-heading {
    top: 14px;
    left: 16px;
    right: 16px;
  }
  .proof-legend {
    left: 16px;
    bottom: 56px;
    gap: 10px;
    font-size: 9px;
  }
  .proof-controls {
    right: 16px;
    bottom: 12px;
  }
  .proof-eyebrow {
    margin-bottom: 12px;
  }
}

.main-dot {
  color: #be573b;
  font-style: normal;
  font-size: 12px;
  line-height: 6px;
}