:root {
  --bg: #f4efe7;
  --ink: #1f2328;
  --muted: #5c5f66;
  --line: rgba(31, 35, 40, 0.12);
  --panel: rgba(255, 252, 248, 0.86);
  --panel-strong: rgba(255, 255, 255, 0.78);
  --warm: #c56b1f;
  --cool: #145f72;
  --accent: #8e2b25;
  --ok: #1a7f5a;
  --warn: #b4690e;
  --offline: #9c2d2d;
  --shadow: 0 24px 80px rgba(31, 35, 40, 0.14);
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  min-height: 100vh;
  color: var(--ink);
  font-family: "Space Grotesk", sans-serif;
  background:
    radial-gradient(circle at left top, rgba(197, 107, 31, 0.18), transparent 28%),
    radial-gradient(circle at right top, rgba(20, 95, 114, 0.16), transparent 30%),
    linear-gradient(180deg, #f6f2ea 0%, #e8e1d4 100%);
}

button,
input,
select,
textarea {
  font: inherit;
}

a {
  color: inherit;
}

.shell {
  width: min(1240px, calc(100% - 32px));
  margin: 0 auto;
  padding: 28px 0 56px;
}

.masthead,
.hero,
.panel,
.service-tile,
.stat-card {
  background: var(--panel);
  border: 1px solid var(--line);
  box-shadow: var(--shadow);
  backdrop-filter: blur(14px);
}

.masthead,
.hero,
.panel,
.service-tile {
  border-radius: 28px;
}

.masthead {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  align-items: start;
  padding: 28px 32px;
}

.eyebrow {
  margin: 0 0 10px;
  color: var(--cool);
  font-family: "IBM Plex Mono", monospace;
  font-size: 0.8rem;
  letter-spacing: 0.18em;
  text-transform: uppercase;
}

.brand-title,
h2,
h3,
p,
strong {
  margin: 0;
}

.brand-title,
.hero h2 {
  font-family: "Fraunces", serif;
  line-height: 0.98;
}

.brand-title {
  font-size: clamp(2rem, 4vw, 3.6rem);
  max-width: 16ch;
}

.language-picker {
  display: grid;
  gap: 8px;
  min-width: 180px;
  color: var(--muted);
}

.language-picker select {
  border-radius: 16px;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1.5fr) minmax(300px, 0.85fr);
  gap: 24px;
  margin-top: 18px;
  padding: 38px 40px;
}

.hero-copy {
  display: grid;
  gap: 18px;
}

.hero h2 {
  font-size: clamp(2.8rem, 6vw, 5rem);
  max-width: 11ch;
}

.lede {
  color: var(--muted);
  font-size: 1.06rem;
  line-height: 1.7;
  max-width: 62ch;
}

.lede.slim {
  max-width: 70ch;
}

.hero-actions,
.button-row {
  display: flex;
  gap: 12px;
  flex-wrap: wrap;
}

.hero-metrics,
.summary-grid,
.stats,
.panel-grid,
.sat-layout,
.grid,
.billing-row {
  display: grid;
  gap: 16px;
}

.hero-metrics {
  grid-template-columns: 1fr;
}

.metric-card,
.mini-card,
.form-card,
.log-card,
.card,
.stat-card,
.job-card {
  background: var(--panel-strong);
  border: 1px solid rgba(31, 35, 40, 0.08);
  border-radius: 22px;
}

.metric-card,
.mini-card,
.stat-card,
.card,
.job-card,
.form-card,
.log-card {
  padding: 18px;
}

.metric-card span,
.mini-card span,
.stat-label,
.muted-text,
.placeholder-text {
  color: var(--muted);
}

.metric-card strong,
.mini-card strong,
.stat-card strong {
  display: block;
  margin-top: 8px;
  font-size: 1.8rem;
}

.service-chooser {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
  gap: 18px;
  margin-top: 18px;
}

.service-tile {
  display: grid;
  gap: 16px;
  padding: 28px;
}

.workspace {
  display: grid;
  gap: 18px;
  margin-top: 18px;
}

.panel {
  padding: 28px;
}

.panel-heading {
  margin-bottom: 18px;
}

.panel-heading h2 {
  font-size: clamp(1.8rem, 3.5vw, 2.9rem);
}

.panel-grid,
.billing-row {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.theorem-layout {
  display: grid;
  grid-template-columns: minmax(320px, 0.9fr) minmax(0, 1.1fr);
  gap: 16px;
  margin-top: 16px;
}

.theorem-results {
  display: grid;
  gap: 16px;
}

.form-card {
  display: grid;
  gap: 14px;
}

label {
  display: grid;
  gap: 8px;
}

input,
select,
textarea {
  width: 100%;
  padding: 12px 14px;
  color: var(--ink);
  background: rgba(255, 255, 255, 0.92);
  border: 1px solid rgba(31, 35, 40, 0.16);
  border-radius: 16px;
}

textarea {
  resize: vertical;
}

.summary-grid,
.stats {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.grid {
  grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
}

.sat-layout {
  grid-template-columns: minmax(320px, 0.9fr) minmax(0, 1.1fr);
  margin-top: 16px;
}

.upload-card {
  margin-top: 12px;
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 46px;
  padding: 0 18px;
  border: none;
  border-radius: 999px;
  text-decoration: none;
  font-weight: 700;
  cursor: pointer;
}

.button-primary {
  color: #fff;
  background: linear-gradient(135deg, var(--warm), var(--accent));
}

.button-secondary {
  color: var(--ink);
  border: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.6);
}

.card,
.job-card {
  display: grid;
  gap: 12px;
}

.card-top {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
}

.status,
.quantity,
.lane-rank,
.card-node {
  font-family: "IBM Plex Mono", monospace;
  font-size: 0.78rem;
}

.status {
  display: inline-flex;
  align-items: center;
  padding: 5px 10px;
  border-radius: 999px;
  background: rgba(31, 35, 40, 0.07);
  text-transform: uppercase;
}

.status-online {
  color: var(--ok);
}

.status-planned {
  color: var(--warn);
}

.status-offline {
  color: var(--offline);
}

.quantity,
.lane-rank,
.card-node {
  color: var(--cool);
}

.card-role {
  font-weight: 700;
}

.job-list {
  display: grid;
  gap: 12px;
}

.code-block {
  margin: 0;
  padding: 18px;
  overflow: auto;
  border-radius: 22px;
  background: #14181f;
  color: #e9eef7;
  font-family: "IBM Plex Mono", monospace;
  font-size: 0.9rem;
  line-height: 1.6;
}

.theorem-proof-card {
  min-height: 320px;
}

.markdown-output {
  color: var(--ink);
  line-height: 1.7;
}

.markdown-output > * + * {
  margin-top: 0.9rem;
}

.markdown-output h1,
.markdown-output h2,
.markdown-output h3 {
  font-family: "Fraunces", serif;
  line-height: 1.05;
}

.markdown-output h1 {
  font-size: 2rem;
}

.markdown-output h2 {
  font-size: 1.55rem;
}

.markdown-output h3 {
  font-size: 1.2rem;
}

.markdown-output p,
.markdown-output li {
  color: var(--ink);
}

.markdown-output ul,
.markdown-output ol {
  padding-left: 1.3rem;
}

.markdown-output code,
.markdown-fallback {
  font-family: "IBM Plex Mono", monospace;
}

.markdown-output pre {
  padding: 14px;
  overflow: auto;
  border-radius: 18px;
  background: rgba(20, 24, 31, 0.95);
  color: #e9eef7;
}

.markdown-output pre code {
  color: inherit;
}

.markdown-output blockquote {
  margin: 0;
  padding-left: 14px;
  border-left: 3px solid rgba(20, 95, 114, 0.35);
  color: var(--muted);
}

.markdown-output hr {
  border: none;
  border-top: 1px solid var(--line);
}

@media (max-width: 960px) {
  .masthead,
  .hero,
  .service-chooser,
  .panel-grid,
  .billing-row,
  .sat-layout,
  .theorem-layout,
  .summary-grid,
  .stats {
    grid-template-columns: 1fr;
  }

  .masthead {
    display: grid;
  }

  .hero {
    padding: 30px 24px;
  }

  .panel,
  .service-tile {
    padding: 22px;
  }
}

@media (max-width: 640px) {
  .shell {
    width: min(100% - 20px, 1240px);
    padding-top: 18px;
  }

  .brand-title {
    max-width: none;
  }

  .hero h2 {
    max-width: none;
    font-size: 2.5rem;
  }

  .button,
  .button-row .button,
  .hero-actions .button {
    width: 100%;
  }
}