:root {
  color-scheme: light;
  --bg: #f7f8fb;
  --panel: #ffffff;
  --panel-soft: #f1f5f9;
  --ink: #101828;
  --muted: #667085;
  --line: #d9e1ec;
  --blue: #2563eb;
  --green: #0f9f6e;
  --amber: #d97706;
  --red: #dc2626;
  --shadow: 0 18px 60px rgba(15, 23, 42, 0.08);
  font-family:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  background:
    radial-gradient(circle at top left, rgba(37, 99, 235, 0.10), transparent 30rem),
    linear-gradient(180deg, #ffffff 0, var(--bg) 32rem);
  color: var(--ink);
}

button,
input {
  font: inherit;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

a {
  color: var(--blue);
}

.shell {
  width: min(1180px, calc(100% - 32px));
  margin: 0 auto;
  padding: 44px 0 64px;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 0.95fr) minmax(460px, 1.05fr);
  gap: 34px;
  align-items: center;
  margin-bottom: 22px;
}

.hero-copy {
  min-width: 0;
}

.eyebrow {
  margin: 0 0 8px;
  color: var(--blue);
  font-size: 0.78rem;
  font-weight: 760;
  letter-spacing: 0;
  text-transform: uppercase;
}

h1,
h2,
h3,
p {
  margin-top: 0;
}

h1 {
  max-width: 820px;
  margin-bottom: 14px;
  font-size: clamp(2.45rem, 4.8vw, 4.8rem);
  line-height: 0.96;
  letter-spacing: 0;
}

h2 {
  margin-bottom: 8px;
  font-size: 1.42rem;
  line-height: 1.15;
}

h3 {
  margin-bottom: 12px;
  font-size: 1rem;
  line-height: 1.25;
}

.lede {
  max-width: 700px;
  color: var(--muted);
  font-size: 1.1rem;
  line-height: 1.6;
}

.hero-visual {
  min-width: 0;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: rgba(255, 255, 255, 0.72);
  box-shadow: var(--shadow);
}

.hero-visual svg,
.hero-visual img,
.article-figure img {
  display: block;
  width: 100%;
  height: auto;
}

.layer-visual {
  overflow: hidden;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 22px;
}

.primary-link,
.secondary-link {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border-radius: 6px;
  padding: 11px 14px;
  font-weight: 760;
  text-decoration: none;
}

.primary-link {
  background: var(--ink);
  color: #ffffff;
}

.primary-link:hover {
  background: #273141;
}

.secondary-link {
  border: 1px solid var(--line);
  background: #ffffff;
  color: var(--ink);
}

.secondary-link:hover {
  border-color: var(--blue);
  color: var(--blue);
}

.request-panel,
.private-note,
.proof-path,
.reports-section,
.runs-section,
.report-viewer {
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--panel);
  box-shadow: var(--shadow);
}

.request-panel {
  display: grid;
  grid-template-columns: minmax(240px, 0.55fr) minmax(0, 1fr);
  gap: 24px;
  align-items: end;
  padding: 24px;
}

.request-panel p,
.private-note p,
.reports-status {
  color: var(--muted);
  line-height: 1.55;
}

.request-form label {
  display: block;
  margin-bottom: 8px;
  font-weight: 720;
}

.input-row {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 10px;
}

input {
  width: 100%;
  min-width: 0;
  border: 1px solid #b8c2d4;
  border-radius: 6px;
  padding: 13px 14px;
  background: #ffffff;
  color: var(--ink);
}

input:focus {
  border-color: var(--blue);
  outline: 3px solid rgba(37, 99, 235, 0.18);
}

button,
.card-actions a {
  border: 1px solid transparent;
  border-radius: 6px;
  padding: 12px 14px;
  background: var(--ink);
  color: #ffffff;
  font-weight: 720;
  text-decoration: none;
  cursor: pointer;
}

button:hover,
.card-actions a:hover {
  background: #273141;
}

button:focus-visible,
.card-actions a:focus-visible {
  outline: 3px solid rgba(37, 99, 235, 0.25);
  outline-offset: 2px;
}

.form-message {
  min-height: 1.5em;
  margin: 8px 0 0;
  color: var(--muted);
}

.input-help {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 0.88rem;
  line-height: 1.45;
}

.input-help code {
  border-radius: 4px;
  padding: 0.05em 0.25em;
  background: #edf2f7;
}

.form-message.error {
  color: var(--red);
}

.private-note {
  display: grid;
  grid-template-columns: minmax(220px, 0.45fr) minmax(0, 1fr);
  gap: 24px;
  margin-top: 18px;
  padding: 20px 24px;
  background: #fbfcfe;
}

.proof-path {
  margin-top: 18px;
  padding: 24px;
}

.proof-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 12px;
}

.proof-grid article {
  display: grid;
  grid-template-columns: 42px minmax(220px, 0.75fr) minmax(0, 1.25fr);
  gap: 18px;
  align-items: start;
  min-width: 0;
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 18px;
  background: #ffffff;
}

.proof-grid span {
  display: inline-grid;
  width: 30px;
  height: 30px;
  place-items: center;
  border-radius: 999px;
  background: #eff6ff;
  color: var(--blue);
  font-weight: 800;
}

.proof-grid h3 {
  margin: 0 0 8px;
}

.proof-grid p,
.proof-note {
  color: var(--muted);
  line-height: 1.55;
}

.proof-copy p,
.proof-note {
  margin-bottom: 0;
}

.proof-grid pre {
  align-self: center;
  margin-top: 0;
  font-size: 0.78rem;
}

.proof-note {
  border-left: 3px solid #bfdbfe;
  padding-left: 14px;
}

pre {
  overflow: auto;
  margin: 0;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 14px;
  background: #0f172a;
  color: #e2e8f0;
  line-height: 1.55;
}

code {
  font-family:
    "SFMono-Regular", Consolas, "Liberation Mono", Menlo, ui-monospace, monospace;
}

.reports-section,
.runs-section {
  margin-top: 28px;
  padding: 24px;
}

.section-heading {
  display: flex;
  gap: 16px;
  align-items: center;
  justify-content: space-between;
  margin-bottom: 18px;
}

.toolbar {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  justify-content: flex-end;
}

.toolbar button {
  border-color: var(--line);
  background: #ffffff;
  color: var(--ink);
}

.toolbar button.active {
  border-color: var(--blue);
  background: #eff6ff;
  color: var(--blue);
}

.reports-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 12px;
}

.report-card {
  display: grid;
  grid-template-columns: minmax(220px, 0.8fr) minmax(320px, 1.2fr) minmax(180px, auto);
  gap: 18px;
  align-items: stretch;
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 16px;
  background: #ffffff;
}

.runs-list {
  display: grid;
  gap: 10px;
}

.run-row {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr) auto;
  gap: 14px;
  align-items: center;
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 14px 16px;
  background: #ffffff;
}

.run-row h3 {
  overflow: hidden;
  margin: 0 0 4px;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.run-row p {
  margin: 0;
  color: var(--muted);
  font-size: 0.88rem;
}

.run-row a {
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 9px 11px;
  color: var(--ink);
  font-weight: 720;
  text-decoration: none;
}

.run-row a:hover {
  border-color: var(--blue);
  color: var(--blue);
}

.card-topline {
  display: flex;
  align-items: center;
  justify-content: flex-start;
  gap: 12px;
  margin-bottom: 10px;
}

.status-pill {
  display: inline-flex;
  align-items: center;
  border-radius: 999px;
  padding: 4px 9px;
  background: var(--panel-soft);
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 780;
  text-transform: uppercase;
}

.status-pill.success {
  background: #dcfce7;
  color: #047857;
}

.status-pill.error {
  background: #fee2e2;
  color: #b91c1c;
}

.status-pill.pending {
  background: #fef3c7;
  color: #a16207;
}

.issue-number {
  color: var(--muted);
  font-size: 0.86rem;
}

.report-card h3 {
  display: -webkit-box;
  overflow: hidden;
  min-height: 0;
  margin-bottom: 0;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 4;
}

.report-card dl {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px;
  margin: 0;
}

.report-card dl div {
  display: grid;
  gap: 6px;
  align-content: start;
  border-left: 1px solid var(--line);
  padding-left: 12px;
}

.report-card dt {
  color: var(--muted);
  font-size: 0.84rem;
}

.report-card dd {
  min-width: 0;
  margin: 0;
  overflow-wrap: anywhere;
  font-weight: 680;
}

.card-actions {
  display: grid;
  gap: 8px;
  align-content: center;
  margin-top: 0;
}

.card-actions button,
.card-actions a {
  width: 100%;
  padding: 10px 12px;
  text-align: center;
}

.card-actions a {
  border-color: var(--line);
  background: #ffffff;
  color: var(--ink);
}

.report-viewer {
  margin-top: 28px;
  padding: 24px;
}

.viewer-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  border-bottom: 1px solid var(--line);
  padding-bottom: 16px;
}

.viewer-header button {
  background: #ffffff;
  color: var(--ink);
  border-color: var(--line);
}

.report-content {
  max-width: 920px;
  padding-top: 22px;
  color: #1f2937;
  line-height: 1.65;
}

.report-content h1 {
  margin-bottom: 14px;
  font-size: 2rem;
  line-height: 1.15;
}

.report-content h2 {
  margin-top: 28px;
  border-top: 1px solid var(--line);
  padding-top: 18px;
}

.report-content h3 {
  margin-top: 22px;
  font-size: 1.1rem;
}

.report-content code {
  border-radius: 4px;
  padding: 0.12em 0.32em;
  background: #edf2f7;
}

.report-content pre code {
  display: block;
  padding: 0;
  background: transparent;
}

.report-content ul {
  padding-left: 1.3rem;
}

.report-content blockquote {
  margin: 16px 0;
  border-left: 4px solid var(--amber);
  padding: 8px 0 8px 14px;
  color: var(--muted);
  background: #fffbeb;
}

.article-shell {
  width: min(1220px, calc(100% - 32px));
}

.page-nav {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  align-items: center;
  justify-content: flex-end;
  margin-bottom: 18px;
}

.page-nav a {
  border: 1px solid var(--line);
  border-radius: 999px;
  padding: 8px 12px;
  background: rgba(255, 255, 255, 0.78);
  color: var(--ink);
  font-size: 0.9rem;
  font-weight: 720;
  text-decoration: none;
}

.page-nav a:hover {
  border-color: var(--blue);
  color: var(--blue);
}

.article-hero {
  display: grid;
  grid-template-columns: minmax(0, 0.82fr) minmax(500px, 1.18fr);
  gap: 36px;
  align-items: center;
  margin-bottom: 20px;
}

.article-hero h1 {
  max-width: 780px;
  font-size: clamp(3.2rem, 7vw, 6.4rem);
}

.article-figure {
  overflow: hidden;
  margin: 0;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: #fbfaf8;
  box-shadow: var(--shadow);
}

.article-figure figcaption {
  border-top: 1px solid var(--line);
  padding: 12px 16px 14px;
  color: var(--muted);
  font-size: 0.9rem;
  line-height: 1.45;
}

.article-panel,
.article-body section {
  border: 1px solid var(--line);
  border-radius: 8px;
  background: rgba(255, 255, 255, 0.92);
  box-shadow: var(--shadow);
}

.abstract-panel {
  display: grid;
  grid-template-columns: minmax(220px, 0.35fr) minmax(0, 1fr);
  gap: 24px;
  padding: 24px;
}

.abstract-copy p {
  color: #344054;
  font-size: 1.02rem;
  line-height: 1.68;
}

.abstract-copy p:last-child {
  margin-bottom: 0;
}

.article-layout {
  display: grid;
  grid-template-columns: 240px minmax(0, 1fr);
  gap: 22px;
  align-items: start;
  margin-top: 22px;
}

.article-toc {
  position: sticky;
  top: 20px;
  display: grid;
  gap: 6px;
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 12px;
  background: rgba(255, 255, 255, 0.92);
  box-shadow: var(--shadow);
}

.article-toc a {
  border-radius: 6px;
  padding: 8px 9px;
  color: var(--muted);
  font-size: 0.9rem;
  font-weight: 680;
  text-decoration: none;
}

.article-toc a:hover {
  background: #eff6ff;
  color: var(--blue);
}

.article-body {
  display: grid;
  gap: 18px;
  min-width: 0;
}

.article-body section {
  padding: 28px;
}

.article-body h2 {
  max-width: 780px;
  margin-bottom: 14px;
  font-size: clamp(1.7rem, 3vw, 2.4rem);
  line-height: 1.08;
}

.article-body p {
  max-width: 820px;
  color: #344054;
  font-size: 1.02rem;
  line-height: 1.72;
}

.section-kicker {
  margin-bottom: 10px;
  color: var(--blue);
  font-size: 0.8rem;
  font-weight: 800;
  text-transform: uppercase;
}

.cite-link {
  display: inline-flex;
  align-items: center;
  margin-left: 4px;
  border: 1px solid #bfdbfe;
  border-radius: 999px;
  padding: 2px 8px;
  background: #eff6ff;
  font-size: 0.82rem;
  font-weight: 760;
  text-decoration: none;
  white-space: nowrap;
}

.callout-grid,
.solution-grid {
  display: grid;
  gap: 12px;
  margin: 22px 0;
}

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

.callout-card,
.solution-grid article {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 16px;
  background: #fbfcfe;
}

.callout-card {
  display: grid;
  gap: 8px;
}

.callout-card strong,
.solution-grid h3,
.contract-flow strong {
  color: var(--ink);
}

.callout-card span,
.solution-grid p,
.contract-flow span,
.pressure-diagram p,
.proof-table span {
  color: var(--muted);
  line-height: 1.55;
}

.pressure-diagram {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 12px;
  margin: 22px 0;
}

.pressure-diagram > div {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 18px;
  background: #ffffff;
}

.pressure-diagram strong {
  display: block;
  margin: 7px 0 8px;
  font-size: 1.05rem;
}

.axis-label {
  color: var(--amber);
  font-size: 0.78rem;
  font-weight: 800;
  text-transform: uppercase;
}

.pressure-result {
  grid-column: 1 / -1;
  border-color: #bfdbfe;
  background: #eff6ff;
}

.contract-flow {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 10px;
  margin: 22px 0;
}

.contract-flow div {
  display: grid;
  gap: 8px;
  border: 1px solid var(--line);
  border-top: 4px solid var(--green);
  border-radius: 8px;
  padding: 15px;
  background: #ffffff;
}

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

.solution-grid article {
  display: grid;
  gap: 9px;
}

.solution-grid article:last-child {
  grid-column: 1 / -1;
}

.solution-grid span {
  width: max-content;
  border-radius: 999px;
  padding: 4px 9px;
  background: #eef2ff;
  color: var(--blue);
  font-size: 0.78rem;
  font-weight: 820;
}

.solution-grid h3 {
  margin-bottom: 0;
  font-size: 1.08rem;
}

.solution-grid p {
  margin-bottom: 0;
}

.proof-table {
  display: grid;
  overflow: hidden;
  margin: 22px 0;
  border: 1px solid var(--line);
  border-radius: 8px;
}

.proof-table > div {
  display: grid;
  grid-template-columns: minmax(170px, 0.28fr) minmax(0, 1fr);
  gap: 16px;
  padding: 15px 16px;
  background: #ffffff;
}

.proof-table > div + div {
  border-top: 1px solid var(--line);
}

.sources-section {
  background: #fbfcfe;
}

.source-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 10px;
  margin-top: 18px;
}

.source-list a {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 13px 14px;
  background: #ffffff;
  color: var(--ink);
  font-weight: 720;
  text-decoration: none;
}

.source-list a:hover {
  border-color: var(--blue);
  color: var(--blue);
}

@media (max-width: 920px) {
  .hero,
  .request-panel,
  .private-note,
  .article-hero,
  .abstract-panel,
  .article-layout {
    grid-template-columns: 1fr;
  }

  .article-toc {
    position: static;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .callout-grid,
  .contract-flow,
  .solution-grid,
  .source-list {
    grid-template-columns: 1fr;
  }

  .solution-grid article:last-child,
  .pressure-result {
    grid-column: auto;
  }

  .proof-grid article {
    grid-template-columns: 42px minmax(0, 1fr);
  }

  .proof-grid pre,
  .proof-note {
    grid-column: 2;
  }

  .report-card {
    grid-template-columns: 1fr;
  }

  .report-card dl {
    grid-template-columns: 1fr;
  }

  .report-card dl div {
    border-left: 0;
    border-top: 1px solid var(--line);
    padding: 10px 0 0;
  }

  .section-heading {
    align-items: flex-start;
    flex-direction: column;
  }

  .toolbar {
    justify-content: flex-start;
  }
}

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

  h1 {
    font-size: 2.25rem;
  }

  .input-row,
  .reports-grid {
    grid-template-columns: 1fr;
  }

  .run-row {
    grid-template-columns: 1fr;
  }

  .run-row h3 {
    white-space: normal;
  }

  .article-toc {
    grid-template-columns: 1fr;
  }

  .article-body section {
    padding: 22px;
  }

  .pressure-diagram,
  .proof-table > div {
    grid-template-columns: 1fr;
  }
}

/* Editorial refresh for skillspec.sh */
:root {
  --paper: #f6f1e8;
  --paper-strong: #eee6d8;
  --paper-soft: #fbf8f0;
  --ink: #17130f;
  --muted: #6d665d;
  --line: #25211c;
  --line-soft: rgba(37, 33, 28, 0.24);
  --blue: #2563eb;
  --green: #16784d;
  --amber: #b76b12;
  --red: #b42318;
  --shadow: none;
  --font-display: Georgia, "Times New Roman", ui-serif, serif;
  --font-ui:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
  --font-mono:
    "SFMono-Regular", Consolas, "Liberation Mono", Menlo, ui-monospace, monospace;
  background: var(--paper);
  font-family: var(--font-ui);
}

body {
  background:
    linear-gradient(90deg, rgba(37, 33, 28, 0.035) 1px, transparent 1px),
    linear-gradient(180deg, #fbf8ef 0, var(--paper) 680px, #f8f4ec 100%);
  background-size: 64px 64px, auto;
  color: var(--ink);
}

.site-header {
  display: grid;
  grid-template-columns: minmax(170px, 0.8fr) minmax(260px, 0.48fr) auto;
  gap: 24px;
  align-items: center;
  border-bottom: 2px solid var(--line);
  padding: 18px min(44px, 5vw);
  background: rgba(246, 241, 232, 0.92);
}

.site-brand {
  display: inline-flex;
  align-items: center;
  color: var(--ink);
  font-family: var(--font-display);
  font-size: 1.55rem;
  text-decoration: none;
}

.site-brand img {
  width: min(210px, 42vw);
  height: auto;
  display: block;
}

.site-nav {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: flex-end;
  border: 2px solid var(--line);
  background: rgba(238, 230, 216, 0.58);
}

.site-nav a {
  border-left: 1px solid var(--line-soft);
  padding: 13px 18px;
  color: var(--muted);
  font-size: 0.96rem;
  font-weight: 650;
  text-decoration: none;
}

.site-nav a:first-child {
  border-left: 0;
}

.site-nav a:hover {
  background: var(--ink);
  color: var(--paper-soft);
}

.sr-only {
  position: absolute;
  overflow: hidden;
  width: 1px;
  height: 1px;
  margin: -1px;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
}

.header-search {
  position: relative;
  min-width: 0;
}

.header-search::before {
  position: absolute;
  top: 50%;
  left: 14px;
  width: 18px;
  height: 18px;
  background: var(--muted);
  content: "";
  pointer-events: none;
  transform: translateY(-50%);
  -webkit-mask:
    url("data:image/svg+xml,%3Csvg viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath fill='black' d='m21.53 20.47-4.8-4.8A8.2 8.2 0 1 0 15.67 16.73l4.8 4.8a.75.75 0 0 0 1.06-1.06ZM4.5 10.25a5.75 5.75 0 1 1 11.5 0 5.75 5.75 0 0 1-11.5 0Z'/%3E%3C/svg%3E")
    center / contain no-repeat;
  mask:
    url("data:image/svg+xml,%3Csvg viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath fill='black' d='m21.53 20.47-4.8-4.8A8.2 8.2 0 1 0 15.67 16.73l4.8 4.8a.75.75 0 0 0 1.06-1.06ZM4.5 10.25a5.75 5.75 0 1 1 11.5 0 5.75 5.75 0 0 1-11.5 0Z'/%3E%3C/svg%3E")
    center / contain no-repeat;
}

.header-search input[type="search"] {
  width: 100%;
  min-height: 46px;
  border: 0;
  border-bottom: 2px solid var(--line);
  padding: 10px 12px 10px 42px;
  background: transparent;
  color: var(--ink);
}

.header-search input[type="search"]::placeholder {
  color: var(--muted);
}

.header-search input[type="search"]:focus {
  border-color: var(--line);
  outline: 0;
  background: rgba(251, 248, 240, 0.64);
}

.github-link {
  display: inline-flex;
  gap: 9px;
  align-items: center;
}

.github-link::before {
  display: inline-block;
  width: 1.08em;
  height: 1.08em;
  background: currentColor;
  content: "";
  flex: 0 0 auto;
  -webkit-mask:
    url("data:image/svg+xml,%3Csvg viewBox='0 0 16 16' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath d='M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82A7.65 7.65 0 0 1 8 3.86c.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.01 8.01 0 0 0 16 8c0-4.42-3.58-8-8-8Z'/%3E%3C/svg%3E")
    center / contain no-repeat;
  mask:
    url("data:image/svg+xml,%3Csvg viewBox='0 0 16 16' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath d='M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82A7.65 7.65 0 0 1 8 3.86c.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.01 8.01 0 0 0 16 8c0-4.42-3.58-8-8-8Z'/%3E%3C/svg%3E")
    center / contain no-repeat;
}

.shell {
  width: min(1360px, calc(100% - 72px));
  padding: 54px 0 80px;
}

.article-shell {
  width: min(1320px, calc(100% - 72px));
}

h1,
h2,
h3 {
  color: var(--ink);
}

h1,
.article-hero h1 {
  max-width: 980px;
  margin-bottom: 24px;
  font-family: var(--font-display);
  font-size: 5.45rem;
  font-weight: 480;
  letter-spacing: 0;
  line-height: 0.96;
}

h2,
.article-body h2 {
  max-width: 900px;
  margin-bottom: 12px;
  font-family: var(--font-display);
  font-size: 2.25rem;
  font-weight: 520;
  line-height: 1.08;
}

h3 {
  font-size: 1.05rem;
  font-weight: 760;
  line-height: 1.22;
}

.eyebrow,
.section-kicker {
  display: flex;
  gap: 16px;
  align-items: center;
  margin-bottom: 26px;
  color: var(--muted);
  font-family: var(--font-display);
  font-size: 0.9rem;
  font-weight: 620;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.eyebrow::before,
.section-kicker::before {
  width: 11px;
  height: 11px;
  border-radius: 999px;
  background: var(--green);
  content: "";
}

.hero {
  grid-template-columns: minmax(0, 1fr);
  gap: 0;
  align-items: end;
  margin-bottom: 36px;
  padding: 70px 0 36px;
}

.hero-copy {
  max-width: 1120px;
  padding-right: 0;
}

.lede {
  max-width: 1120px;
  margin-bottom: 48px;
  color: #5d564d;
  font-family: var(--font-display);
  font-size: 2rem;
  font-style: italic;
  line-height: 1.24;
}

.hero-body {
  max-width: 760px;
  margin-bottom: 0;
  border-top: 2px solid var(--line);
  padding-top: 28px;
  color: #4f4942;
  font-size: 1.08rem;
  line-height: 1.72;
}

.hero-visual,
.article-figure,
.request-panel,
.private-note,
.proof-path,
.reports-section,
.runs-section,
.report-viewer,
.article-panel,
.article-body section,
.article-toc {
  border: 2px solid var(--line);
  border-radius: 0;
  background: rgba(238, 230, 216, 0.42);
  box-shadow: none;
}

.hero-visual {
  align-self: stretch;
  background: rgba(251, 248, 240, 0.76);
}

.layer-visual img {
  min-height: 100%;
  object-fit: contain;
}

.hero-actions {
  gap: 0;
  margin-top: 28px;
}

.primary-link,
.secondary-link,
button,
.card-actions a,
.run-row a,
.page-nav a,
.source-list a {
  border: 2px solid var(--line);
  border-radius: 0;
  padding: 12px 18px;
  font-weight: 760;
}

.primary-link,
button,
.card-actions button {
  background: var(--ink);
  color: var(--paper-soft);
}

.secondary-link,
.toolbar button,
.card-actions a,
.run-row a,
.page-nav a,
.source-list a,
.viewer-header button {
  background: transparent;
  color: var(--ink);
}

.primary-link:hover,
button:hover,
.card-actions button:hover {
  background: #332b23;
}

.secondary-link:hover,
.toolbar button:hover,
.card-actions a:hover,
.run-row a:hover,
.page-nav a:hover,
.source-list a:hover,
.viewer-header button:hover {
  background: var(--ink);
  color: var(--paper-soft);
}

.request-panel {
  grid-template-columns: minmax(260px, 0.44fr) minmax(0, 1fr);
  gap: 40px;
  padding: 34px 38px;
}

.request-panel p,
.private-note p,
.reports-status,
.article-body p,
.abstract-copy p {
  color: #544e47;
  font-size: 1.02rem;
  line-height: 1.72;
}

.abstract-copy p {
  max-width: 900px;
  color: #4c463f;
  font-size: 1.1rem;
  line-height: 1.78;
}

.abstract-copy p + p,
.article-body p + p {
  margin-top: 18px;
}

.article-body p {
  max-width: 900px;
}

.article-body section > p:last-child {
  margin-bottom: 0;
}

.prose-points {
  display: grid;
  gap: 0;
  max-width: 880px;
  margin: 24px 0 28px;
  border-top: 1px solid var(--line-soft);
  border-left: 1px solid var(--line-soft);
  padding: 0;
  list-style: none;
}

.prose-points li {
  border-right: 1px solid var(--line-soft);
  border-bottom: 1px solid var(--line-soft);
  padding: 14px 16px;
  background: rgba(251, 248, 240, 0.68);
  color: var(--ink);
  font-family: var(--font-display);
  font-size: 1.15rem;
  line-height: 1.35;
}

.request-form label {
  margin-bottom: 10px;
  color: var(--ink);
  font-size: 0.92rem;
  font-weight: 760;
}

.input-row {
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 0;
}

input {
  min-height: 54px;
  border: 2px solid var(--line);
  border-radius: 0;
  background: rgba(251, 248, 240, 0.92);
  color: var(--ink);
}

input:focus {
  border-color: var(--line);
  outline: 3px solid rgba(37, 99, 235, 0.2);
}

.input-help,
.form-message {
  color: var(--muted);
  font-size: 0.92rem;
}

.input-help code,
.proof-note code,
.report-content code,
.article-body code {
  border: 1px solid var(--line-soft);
  border-radius: 0;
  background: rgba(255, 255, 255, 0.52);
}

.private-note {
  grid-template-columns: minmax(260px, 0.44fr) minmax(0, 1fr);
  gap: 40px;
  margin-top: 22px;
  padding: 30px 38px;
}

pre {
  border: 2px solid var(--line);
  border-radius: 0;
  background: #17130f;
  color: #f7efe3;
  font-family: var(--font-mono);
}

.proof-path,
.reports-section,
.runs-section,
.report-viewer {
  margin-top: 30px;
  padding: 34px 38px;
}

.section-heading {
  align-items: end;
  margin-bottom: 26px;
  border-bottom: 2px solid var(--line);
  padding-bottom: 20px;
}

.section-heading .eyebrow {
  margin-bottom: 10px;
}

.proof-grid {
  gap: 0;
  border-top: 1px solid var(--line-soft);
}

.proof-grid article {
  grid-template-columns: 70px minmax(250px, 0.9fr) minmax(0, 1.1fr);
  gap: 24px;
  border: 0;
  border-bottom: 1px solid var(--line-soft);
  border-radius: 0;
  padding: 24px 0;
  background: transparent;
}

.proof-grid span {
  width: 46px;
  height: 46px;
  border: 2px solid var(--line);
  border-radius: 999px;
  background: transparent;
  color: var(--ink);
  font-family: var(--font-display);
  font-size: 1.25rem;
}

.proof-grid h3 {
  margin-bottom: 10px;
  font-size: 1.1rem;
}

.proof-grid p,
.proof-note {
  color: #5a534b;
  line-height: 1.65;
}

.proof-grid pre {
  align-self: start;
  font-size: 0.82rem;
}

.proof-note {
  border-left: 2px solid var(--line);
  padding-left: 16px;
}

.toolbar {
  gap: 0;
}

.toolbar button {
  border-left: 0;
}

.toolbar button:first-child {
  border-left: 2px solid var(--line);
}

.toolbar button.active {
  border-color: var(--line);
  background: var(--ink);
  color: var(--paper-soft);
}

.reports-grid,
.runs-list {
  gap: 0;
}

.report-card,
.run-row {
  border: 0;
  border-bottom: 1px solid var(--line-soft);
  border-radius: 0;
  padding: 20px 0;
  background: transparent;
}

.report-card:first-child,
.run-row:first-child {
  border-top: 1px solid var(--line-soft);
}

.report-card {
  grid-template-columns: minmax(230px, 0.82fr) minmax(330px, 1.26fr) minmax(180px, auto);
}

.status-pill {
  border: 1px solid var(--line-soft);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.52);
}

.report-card dl div {
  border-left: 1px solid var(--line-soft);
}

.card-actions {
  gap: 0;
}

.card-actions button + a,
.card-actions a + button {
  border-top: 0;
}

.report-viewer {
  background: rgba(251, 248, 240, 0.92);
}

.viewer-header {
  border-bottom: 2px solid var(--line);
}

.report-content {
  max-width: 980px;
  color: #38322c;
  font-size: 1.02rem;
  line-height: 1.76;
}

.report-content h1,
.report-content h2 {
  font-family: var(--font-display);
  font-weight: 520;
}

.report-content h2 {
  border-top: 2px solid var(--line);
}

.report-content ul,
.article-body ul {
  display: grid;
  gap: 8px;
  padding-left: 1.1rem;
}

.report-content li,
.article-body li {
  padding-left: 0.25rem;
  color: #544e47;
  line-height: 1.65;
}

.report-content li::marker,
.article-body li::marker {
  color: var(--green);
}

.page-nav {
  justify-content: flex-start;
  margin-bottom: 34px;
}

.article-hero {
  grid-template-columns: minmax(0, 1fr);
  gap: 28px;
  margin-bottom: 30px;
}

.article-hero h1 {
  font-size: 5.4rem;
}

.article-figure {
  background: rgba(251, 248, 240, 0.84);
}

.article-figure img {
  max-height: 680px;
  object-fit: contain;
}

.article-figure figcaption {
  border-top: 2px solid var(--line);
  color: var(--muted);
}

.abstract-panel,
.article-body section {
  padding: 34px 38px;
}

.article-layout {
  grid-template-columns: 260px minmax(0, 1fr);
  gap: 30px;
}

.article-toc {
  gap: 0;
  padding: 0;
}

.article-toc a {
  border-bottom: 1px solid var(--line-soft);
  border-radius: 0;
  padding: 12px 14px;
  color: var(--ink);
}

.article-toc a:last-child {
  border-bottom: 0;
}

.article-toc a:hover {
  background: var(--ink);
  color: var(--paper-soft);
}

.callout-grid,
.pressure-diagram,
.contract-flow,
.solution-grid {
  gap: 0;
  border-top: 1px solid var(--line-soft);
  border-left: 1px solid var(--line-soft);
}

.callout-card,
.pressure-diagram > div,
.contract-flow div,
.solution-grid article {
  border: 0;
  border-right: 1px solid var(--line-soft);
  border-bottom: 1px solid var(--line-soft);
  border-radius: 0;
  background: rgba(251, 248, 240, 0.64);
}

.contract-flow div {
  border-top: 0;
}

.solution-grid article:last-child,
.pressure-result {
  grid-column: 1 / -1;
}

.solution-grid span,
.cite-link {
  border: 1px solid var(--line-soft);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.5);
}

.proof-table {
  border: 2px solid var(--line);
  border-radius: 0;
}

.proof-table > div {
  background: rgba(251, 248, 240, 0.64);
}

.source-list {
  gap: 0;
  border-top: 1px solid var(--line-soft);
  border-left: 1px solid var(--line-soft);
}

.source-list a {
  border: 0;
  border-right: 1px solid var(--line-soft);
  border-bottom: 1px solid var(--line-soft);
  background: rgba(251, 248, 240, 0.64);
}

.site-footer {
  border-top: 2px solid var(--line);
  padding: 26px min(44px, 5vw);
  background: var(--ink);
}

.modiqo-credit {
  display: inline-flex;
  gap: 10px;
  align-items: center;
  color: var(--paper-soft);
  font-size: 0.98rem;
  font-weight: 650;
  text-decoration: none;
}

.modiqo-credit span {
  color: rgba(251, 248, 240, 0.72);
}

.modiqo-credit strong {
  font-family: var(--font-display);
  font-size: 1.12rem;
  font-weight: 620;
}

.modiqo-credit:hover strong {
  text-decoration: underline;
  text-underline-offset: 4px;
}

@media (max-width: 1080px) {
  .site-header,
  .hero,
  .request-panel,
  .private-note,
  .article-layout,
  .abstract-panel {
    grid-template-columns: 1fr;
  }

  .site-nav {
    justify-content: flex-start;
    width: 100%;
  }

  .header-search {
    width: 100%;
  }

  .hero {
    align-items: start;
    padding-top: 42px;
  }

  .proof-grid article {
    grid-template-columns: 58px minmax(0, 1fr);
  }

  .proof-grid pre,
  .proof-note {
    grid-column: 2;
  }
}

@media (max-width: 720px) {
  .site-header {
    padding: 14px 18px;
  }

  .site-nav {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .site-brand img {
    width: min(165px, 58vw);
  }

  .header-search input[type="search"] {
    min-height: 44px;
  }

  .site-nav a {
    border-top: 1px solid var(--line-soft);
    padding: 10px 12px;
  }

  .site-nav a:nth-child(odd) {
    border-left: 0;
  }

  .shell,
  .article-shell {
    width: min(100% - 28px, 1360px);
    padding-top: 34px;
  }

  h1,
  .article-hero h1 {
    font-size: 3.15rem;
  }

  h2,
  .article-body h2 {
    font-size: 1.85rem;
  }

  .lede {
    margin-bottom: 30px;
    font-size: 1.5rem;
  }

  .hero-body {
    padding-top: 20px;
  }

  .hero-actions,
  .input-row,
  .toolbar {
    display: grid;
    grid-template-columns: 1fr;
  }

  .toolbar button,
  .toolbar button:first-child {
    border-left: 2px solid var(--line);
    border-top: 0;
  }

  .toolbar button:first-child {
    border-top: 2px solid var(--line);
  }

  .request-panel,
  .private-note,
  .proof-path,
  .reports-section,
  .runs-section,
  .report-viewer,
  .abstract-panel,
  .article-body section {
    padding: 22px;
  }

  .report-card,
  .run-row {
    grid-template-columns: 1fr;
  }

  .report-card dl {
    grid-template-columns: 1fr;
  }

  .report-card dl div {
    border-left: 0;
    border-top: 1px solid var(--line-soft);
    padding: 10px 0 0;
  }

  .callout-grid,
  .pressure-diagram,
  .contract-flow,
  .solution-grid,
  .source-list {
    grid-template-columns: 1fr;
  }
}