:root {
  color-scheme: light;
  --dark: #141413;
  --light: #faf9f5;
  --mid: #b0aea5;
  --soft: #e8e6dc;
  --orange: #d97757;
  --blue: #6a9bcc;
  --green: #788c5d;
  --ink: #1d1c18;
  --muted: #67645c;
  --line: #d8d4c8;
  --paper: #fffef9;
  --code: #171717;
  --code-bg: #efede4;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  min-height: 100vh;
  background:
    linear-gradient(90deg, rgba(20,20,19,.035) 1px, transparent 1px),
    linear-gradient(180deg, rgba(20,20,19,.035) 1px, transparent 1px),
    var(--light);
  background-size: 28px 28px;
  color: var(--ink);
  font: 15px/1.55 Lora, Georgia, serif;
}
button, input { font: inherit; }
.shell {
  display: grid;
  grid-template-columns: minmax(320px, 390px) minmax(0, 1fr);
  min-height: 100vh;
}
.rail {
  position: sticky;
  top: 0;
  height: 100vh;
  overflow: hidden;
  display: grid;
  grid-template-rows: auto auto auto 1fr;
  border-right: 1px solid var(--dark);
  background: rgba(250, 249, 245, .94);
  backdrop-filter: blur(14px);
}
.brand {
  display: grid;
  grid-template-columns: 18px 1fr;
  gap: 14px;
  padding: 24px 22px 18px;
  border-bottom: 1px solid var(--line);
}
.mark {
  width: 18px;
  height: 76px;
  background: linear-gradient(180deg, var(--orange) 0 42%, var(--blue) 42% 70%, var(--green) 70%);
}
.eyebrow {
  margin: 0 0 6px;
  color: var(--muted);
  font: 700 11px/1 Poppins, Arial, sans-serif;
  letter-spacing: .08em;
  text-transform: uppercase;
}
h1, h2, h3 {
  margin: 0;
  font-family: Poppins, Arial, sans-serif;
  letter-spacing: 0;
}
h1 {
  font-size: 29px;
  line-height: .96;
  max-width: 260px;
}
h2 {
  font-size: 34px;
  line-height: 1.06;
  overflow-wrap: anywhere;
}
h3 {
  font-size: 16px;
}
.controls {
  padding: 18px 18px 14px;
  border-bottom: 1px solid var(--line);
}
input[type="search"] {
  width: 100%;
  min-height: 42px;
  border: 1px solid var(--dark);
  border-radius: 4px;
  padding: 9px 11px;
  background: var(--paper);
  color: var(--dark);
  outline: none;
}
input[type="search"]:focus {
  box-shadow: 0 0 0 3px rgba(217, 119, 87, .24);
}
.segmented {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 10px;
  border: 1px solid var(--dark);
  border-radius: 4px;
  overflow: hidden;
}
.segmented button {
  border: 0;
  border-right: 1px solid var(--dark);
  padding: 8px 6px;
  background: transparent;
  color: var(--dark);
  cursor: pointer;
  font-family: Poppins, Arial, sans-serif;
  font-size: 12px;
}
.segmented button:last-child { border-right: 0; }
.segmented button.active {
  background: var(--dark);
  color: var(--light);
}
.stats {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1px;
  background: var(--line);
  border-bottom: 1px solid var(--line);
}
.stat {
  min-height: 68px;
  padding: 10px 12px;
  background: var(--paper);
}
.stat strong {
  display: block;
  font: 700 22px/1 Poppins, Arial, sans-serif;
}
.stat span {
  color: var(--muted);
  font-size: 12px;
}
.project-list {
  overflow: auto;
  padding: 10px;
}
.project-item,
.theorem-item {
  width: 100%;
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 10px;
  border: 1px solid var(--line);
  border-radius: 6px;
  margin: 0 0 8px;
  padding: 11px;
  background: rgba(255, 254, 249, .84);
  color: var(--dark);
  text-align: left;
  cursor: pointer;
}
.project-item:hover,
.project-item.active,
.theorem-item:hover,
.theorem-item.active {
  border-color: var(--dark);
  background: var(--paper);
}
.theorem-item.missing {
  cursor: default;
  opacity: .64;
}
.theorem-item.missing:hover {
  border-color: var(--line);
  background: rgba(255, 254, 249, .84);
}
.project-name,
.theorem-name {
  font-family: Poppins, Arial, sans-serif;
  font-weight: 700;
  overflow-wrap: anywhere;
}
.project-meta,
.theorem-meta {
  grid-column: 1 / -1;
  color: var(--muted);
  font-size: 12px;
}
.project-progress {
  grid-column: 1 / -1;
  height: 6px;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 999px;
  background: var(--soft);
}
.project-progress span {
  display: block;
  height: 100%;
  background: linear-gradient(90deg, var(--green), var(--blue));
}
.mini-score {
  align-self: start;
  border: 1px solid var(--green);
  border-radius: 999px;
  padding: 2px 8px;
  color: var(--green);
  font-family: Poppins, Arial, sans-serif;
  font-size: 12px;
}
.reader {
  min-width: 0;
  padding: 30px;
}
.mast {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 20px;
  align-items: start;
  padding: 26px;
  border: 1px solid var(--dark);
  border-radius: 8px;
  background: var(--dark);
  color: var(--light);
}
.mast .eyebrow { color: var(--mid); }
.status-stack {
  display: grid;
  gap: 8px;
  justify-items: end;
}
.badge {
  display: inline-block;
  border-radius: 999px;
  padding: 5px 11px;
  background: var(--green);
  color: var(--light);
  font-family: Poppins, Arial, sans-serif;
  font-size: 12px;
}
.score {
  font: 700 36px/1 Poppins, Arial, sans-serif;
  color: var(--orange);
}
.metrics {
  display: grid;
  grid-template-columns: repeat(6, minmax(120px, 1fr));
  gap: 10px;
  margin: 14px 0;
}
.metric {
  min-height: 72px;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 10px 12px;
  background: var(--paper);
}
.metric span {
  display: block;
  color: var(--muted);
  font-size: 12px;
}
.metric strong {
  display: block;
  margin-top: 5px;
  font-family: Poppins, Arial, sans-serif;
  overflow-wrap: anywhere;
}
.workspace {
  display: grid;
  grid-template-columns: minmax(260px, 330px) minmax(0, 1fr);
  gap: 14px;
}
.theorem-panel {
  align-self: start;
  position: sticky;
  top: 30px;
  max-height: calc(100vh - 60px);
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--paper);
}
.theorem-list {
  max-height: calc(100vh - 112px);
  overflow: auto;
  padding: 10px;
}
.detail-panel {
  min-width: 0;
}
.proof-head {
  display: flex;
  justify-content: space-between;
  gap: 16px;
  align-items: start;
  padding: 16px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--paper);
}
.proof-head h3 {
  font-size: 22px;
  overflow-wrap: anywhere;
}
.proof-score {
  display: grid;
  justify-items: end;
  gap: 6px;
}
.proof-score strong {
  font: 700 28px/1 Poppins, Arial, sans-serif;
  color: var(--orange);
}
.compact {
  grid-template-columns: repeat(4, minmax(120px, 1fr));
}
.split {
  display: grid;
  grid-template-columns: minmax(0, .95fr) minmax(0, 1.05fr);
  gap: 14px;
}
section, article {
  min-width: 0;
}
article,
.detail-panel > section:not(.proof-head):not(.metrics) {
  margin-top: 14px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--paper);
}
.section-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  min-height: 46px;
  padding: 12px 14px;
  border-bottom: 1px solid var(--line);
}
a {
  color: var(--blue);
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
  font-family: Poppins, Arial, sans-serif;
  font-size: 12px;
}
.soft-label {
  color: var(--muted);
  font-family: Poppins, Arial, sans-serif;
  font-size: 12px;
}
.verifier-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(120px, 1fr));
  gap: 10px;
  padding: 14px;
}
.check-card {
  min-height: 88px;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 10px 12px;
  background: #fbfaf4;
}
.check-card span {
  display: block;
  color: var(--muted);
  font-size: 12px;
}
.check-card strong {
  display: block;
  margin-top: 6px;
  font-family: Poppins, Arial, sans-serif;
  overflow-wrap: anywhere;
}
.timeline {
  display: grid;
  gap: 8px;
  padding: 0 14px 14px;
}
.timeline-step {
  display: grid;
  grid-template-columns: 16px 1fr auto;
  gap: 10px;
  align-items: center;
  min-height: 34px;
  color: var(--muted);
  font-size: 13px;
}
.timeline-dot {
  width: 11px;
  height: 11px;
  border-radius: 50%;
  background: var(--green);
  box-shadow: 0 0 0 4px rgba(120, 140, 93, .18);
}
.timeline-step strong {
  color: var(--dark);
  font-family: Poppins, Arial, sans-serif;
}
pre {
  margin: 0;
  max-height: 58vh;
  overflow: auto;
  padding: 16px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}
.text-pane {
  font-size: 14px;
}
.code-pane, .json-pane {
  background: var(--code-bg);
  color: var(--code);
  font: 13px/1.5 ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
}
@media (max-width: 980px) {
  .shell { grid-template-columns: 1fr; }
  .rail {
    position: relative;
    height: auto;
    max-height: 72vh;
    border-right: 0;
    border-bottom: 1px solid var(--dark);
  }
  .reader { padding: 18px; }
  .workspace { grid-template-columns: 1fr; }
  .theorem-panel {
    position: relative;
    top: auto;
    max-height: 46vh;
  }
  .split { grid-template-columns: 1fr; }
  .metrics { grid-template-columns: repeat(2, 1fr); }
  .verifier-grid { grid-template-columns: repeat(2, 1fr); }
  .mast { grid-template-columns: 1fr; }
  .status-stack { justify-items: start; grid-template-columns: auto auto; }
}