@font-face {
  font-family: "Source Serif 4";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("/assets/fonts/SourceSerif4-Roman.woff2") format("woff2");
}
@font-face {
  font-family: "Source Serif 4";
  font-style: italic;
  font-weight: 400 700;
  font-display: swap;
  src: url("/assets/fonts/SourceSerif4-Italic.woff2") format("woff2");
}
@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/assets/fonts/IBMPlexMono-Regular.woff2") format("woff2");
}
@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/assets/fonts/IBMPlexMono-Bold.woff2") format("woff2");
}

:root {
  --paper: #F7F4EE;
  --sheet: #FCFBF7;
  --paper-tint: #EFECE3;
  --ink: #161616;
  --muted: #55524B;
  --rule: #CFC8B9;
  --rule-dark: #8C8577;
  --accent: #1F3A5F;
  --accent-hover: #142844;
  --oxblood: #8A1C1C;
  --oxblood-bg: #F5EAE8;
  --ok-ink: #1E4D2B;
  --ok-bg: #EBF2EC;
  --serif: "Source Serif 4", Georgia, "Times New Roman", Times, serif;
  --mono: "IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
}

*, *::before, *::after {
  box-sizing: border-box;
}

html {
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 100%;
  -webkit-text-size-adjust: 100%;
}

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(1.0625rem, 1rem + 0.25vw, 1.1875rem);
  line-height: 1.62;
  font-feature-settings: "kern" 1, "liga" 1, "onum" 1;
}

/* Accessibility & focus */
:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
}

.sc-skip {
  position: absolute;
  left: -9999px;
  top: 0.5rem;
  background: var(--accent);
  color: var(--paper);
  padding: 0.45rem 0.9rem;
  text-decoration: none;
  z-index: 100;
}
.sc-skip:focus {
  left: 0.75rem;
}

.sc-visually-hidden {
  position: absolute !important;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
}

.sc-hp {
  position: absolute;
  left: -5000px;
}

/* Containers */
.sc-in {
  width: min(1100px, 100% - 2.5rem);
  margin: 0 auto;
}

.sc-narrow {
  width: min(740px, 100% - 2.5rem);
  margin: 0 auto;
}

/* Typography */
h1, h2, h3, h4 {
  font-family: var(--serif);
  color: var(--ink);
  font-weight: 700;
  line-height: 1.16;
  letter-spacing: -0.012em;
  font-feature-settings: "kern" 1, "liga" 1, "lnum" 1;
  margin: 0 0 0.55em;
}

h1 {
  font-size: clamp(2rem, 3.6vw, 3.05rem);
  line-height: 1.1;
}

h2 {
  font-size: clamp(1.4rem, 2.2vw, 1.85rem);
  margin-top: 1.6em;
}

h3 {
  font-size: 1.18rem;
  margin-top: 1.1em;
  margin-bottom: 0.35em;
}

p {
  margin: 0 0 1em;
}

ul, ol {
  margin: 0 0 1.2em;
  padding-left: 1.35rem;
}

li {
  margin-bottom: 0.4em;
}

a {
  color: var(--accent);
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.16em;
}
a:hover {
  color: var(--accent-hover);
  text-decoration-thickness: 2px;
}

code, pre, textarea, .sc-mono {
  font-family: var(--mono);
  font-feature-settings: "zero" 1, "lnum" 1;
}

code {
  font-size: 0.84em;
  background: var(--paper-tint);
  padding: 0.06em 0.32em;
  border: 1px solid var(--rule);
  overflow-wrap: anywhere;
}

pre code {
  background: none;
  padding: 0;
  border: 0;
  font-size: inherit;
}

/* Small-caps labels, kickers, datelines */
.sc-kicker,
.sc-caps {
  font-family: var(--serif);
  font-variant-caps: all-small-caps;
  letter-spacing: 0.07em;
  font-weight: 600;
  line-height: 1.25;
}

.sc-kicker {
  display: block;
  font-size: 0.92rem;
  color: var(--muted);
  margin: 0 0 0.35rem;
}

.sc-kicker-oxblood {
  color: var(--oxblood);
}

.sc-standfirst {
  font-size: clamp(1.18rem, 1.45vw, 1.36rem);
  line-height: 1.48;
  color: var(--ink);
  max-width: 62ch;
  margin: 0 0 1.15rem;
}

.sc-lead {
  font-size: 1.16rem;
  line-height: 1.54;
  max-width: 64ch;
}

.sc-measure {
  max-width: 66ch;
}

.sc-small {
  font-size: 0.9rem;
  line-height: 1.5;
  color: var(--muted);
}

/* Masthead */
.sc-masthead {
  padding: 1.5rem 0 0;
}

.sc-masthead-top {
  text-align: center;
  padding-bottom: 0.85rem;
}

.sc-brand {
  display: inline-flex;
  align-items: baseline;
  gap: 0.45rem;
  color: var(--ink);
  text-decoration: none;
  font-size: clamp(2.15rem, 4.2vw, 3.25rem);
  font-weight: 700;
  letter-spacing: 0.06em;
  font-variant-caps: small-caps;
  line-height: 1;
}
.sc-brand:hover {
  color: var(--ink);
  text-decoration: none;
}

.sc-mark {
  font-family: var(--serif);
  font-weight: 400;
  font-size: 0.82em;
  color: var(--oxblood);
}

.sc-masthead-sub {
  margin: 0.35rem 0 0;
  font-style: italic;
  font-size: 1rem;
  color: var(--muted);
}

.sc-dateline-bar {
  border-top: 2px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  margin-top: 0.15rem;
}

.sc-dateline-inner {
  border-top: 1px solid var(--ink);
  margin-top: 2px;
  padding: 0.38rem 0;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  flex-wrap: wrap;
  font-size: 0.88rem;
}

.sc-dateline {
  color: var(--muted);
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
}

.sc-nav {
  display: flex;
  align-items: center;
  gap: 1.35rem;
  flex-wrap: wrap;
}

.sc-nav a {
  color: var(--ink);
  text-decoration: none;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.07em;
  font-weight: 600;
  font-size: 0.95rem;
}
.sc-nav a:hover {
  color: var(--accent);
  text-decoration: underline;
}

/* Broadsheet rules & sections */
.sc-section {
  padding: 2.1rem 0 2.6rem;
  border-bottom: 1px solid var(--rule);
}

.sc-section-double {
  border-top: 3px double var(--ink);
}

.sc-section:last-child {
  border-bottom: 0;
}

.sc-section h1:first-child,
.sc-section h2:first-child {
  margin-top: 0;
}

.sc-crumbs {
  margin: 0 0 0.75rem;
  font-size: 0.88rem;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
  color: var(--muted);
}
.sc-crumbs a {
  color: var(--muted);
}
.sc-crumbs a:hover {
  color: var(--accent);
}

/* Front-page multi-column layout with vertical column rule */
.sc-front-grid {
  display: grid;
  grid-template-columns: minmax(0, 2.1fr) minmax(260px, 1fr);
  gap: 2.5rem;
  align-items: start;
}

.sc-col-ruled {
  border-left: 1px solid var(--rule);
  padding-left: 1.75rem;
}

.sc-split {
  display: grid;
  grid-template-columns: minmax(0, 1.3fr) minmax(300px, 1fr);
  gap: 2.5rem;
  align-items: start;
}

/* In brief / editorial list */
.sc-brief-list {
  list-style: none;
  padding: 0;
  margin: 0;
}

.sc-brief-list li {
  padding: 0.7rem 0;
  border-top: 1px solid var(--rule);
  margin: 0;
  font-size: 0.96rem;
  line-height: 1.5;
}
.sc-brief-list li:first-child {
  border-top: 1px solid var(--ink);
}

.sc-brief-list strong {
  display: block;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
  font-size: 0.95rem;
  margin-bottom: 0.15rem;
}

/* Pull quote */
.sc-pullquote {
  margin: 1.25rem 0;
  padding: 0.75rem 0;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--rule);
  font-style: italic;
  font-size: 1.15rem;
  line-height: 1.42;
  color: var(--ink);
}

/* Buttons & links (plain rectangular, no pills) */
.sc-cta-row {
  display: flex;
  align-items: baseline;
  gap: 1.35rem;
  flex-wrap: wrap;
  margin-top: 1.15rem;
}

.sc-btn {
  display: inline-block;
  border: 1px solid var(--accent);
  border-radius: 0;
  padding: 0.58rem 1.15rem;
  background: var(--accent);
  color: var(--paper);
  font-family: var(--serif);
  font-size: 0.98rem;
  font-weight: 600;
  letter-spacing: 0.02em;
  text-decoration: none;
  cursor: pointer;
  line-height: 1.25;
}
.sc-btn:hover {
  background: var(--accent-hover);
  border-color: var(--accent-hover);
  color: var(--paper);
  text-decoration: none;
}
.sc-btn[disabled] {
  opacity: 0.45;
  cursor: not-allowed;
}

.sc-btn-ghost {
  background: transparent;
  color: var(--accent);
  border: 1px solid var(--rule-dark);
}
.sc-btn-ghost:hover {
  background: var(--paper-tint);
  border-color: var(--ink);
  color: var(--ink);
}

.sc-btn-small {
  padding: 0.32rem 0.7rem;
  font-size: 0.86rem;
}

.sc-link-action {
  font-weight: 600;
}

.sc-link-btn {
  background: none;
  border: 0;
  padding: 0;
  font: inherit;
  color: var(--muted);
  text-decoration: underline;
  text-underline-offset: 0.16em;
  cursor: pointer;
}
.sc-link-btn:hover {
  color: var(--accent);
}

/* Notices, boxes & callouts */
.sc-notice {
  border: 1px solid var(--ink);
  background: var(--sheet);
  padding: 1.5rem 1.75rem;
}
.sc-notice + .sc-notice {
  margin-top: 1.25rem;
}
.sc-notice p:last-child {
  margin-bottom: 0;
}

/* Ad-measurement consent bar (shown only on gclid/gbraid/wbraid landing) */
.sc-consent-bar {
  border-bottom: 1px solid var(--ink);
  background: var(--paper-tint);
  padding: 0.65rem 0;
  font-size: 0.9rem;
}

.sc-consent-in {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  flex-wrap: wrap;
}

.sc-consent-actions {
  display: flex;
  gap: 0.5rem;
  flex-shrink: 0;
}

.sc-notice-double {
  border: 3px double var(--ink);
  background: var(--sheet);
  padding: 1.65rem 1.85rem;
}

.sc-note {
  border-left: 2px solid var(--ink);
  padding: 0.45rem 0.9rem;
  background: var(--paper-tint);
  color: var(--ink);
  font-size: 0.95rem;
}

.sc-alert {
  border-left: 3px solid var(--oxblood);
  padding: 0.55rem 0.95rem;
  background: var(--oxblood-bg);
  color: var(--oxblood);
  font-weight: 600;
}

.sc-ok {
  border-left: 3px solid var(--ok-ink);
  padding: 0.55rem 0.95rem;
  background: var(--ok-bg);
  color: var(--ok-ink);
}

/* Forms */
.sc-form {
  display: grid;
  gap: 0.95rem;
}

.sc-form-row {
  display: flex;
  align-items: flex-end;
  gap: 1rem;
  flex-wrap: wrap;
}

.sc-form label {
  display: grid;
  gap: 0.28rem;
  font-size: 0.94rem;
  font-weight: 600;
}

.sc-form label.sc-check {
  display: flex;
  align-items: flex-start;
  gap: 0.55rem;
  font-weight: 400;
  font-size: 0.94rem;
}
.sc-form label.sc-check input {
  margin-top: 0.32rem;
}

.sc-form input[type="text"],
.sc-form input[type="email"],
.sc-form input[type="url"],
.sc-form textarea {
  width: 100%;
  border: 1px solid var(--rule-dark);
  border-radius: 0;
  background: var(--sheet);
  color: var(--ink);
  padding: 0.55rem 0.7rem;
  font: inherit;
  font-weight: 400;
}

.sc-form input[type="text"]:focus,
.sc-form input[type="email"]:focus,
.sc-form input[type="url"]:focus,
.sc-form textarea:focus {
  border-color: var(--ink);
  outline: 2px solid var(--accent);
  outline-offset: 0;
}

.sc-form textarea#sc-source {
  font-family: var(--mono);
  font-size: 0.86rem;
  line-height: 1.5;
  padding: 0.85rem 0.95rem;
  border: 1px solid var(--ink);
}

.sc-file input[type="file"] {
  font-family: var(--serif);
  font-size: 0.88rem;
  font-weight: 400;
}

.sc-form-foot {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  flex-wrap: wrap;
}

/* Ruled broadsheet tables & ledgers */
.sc-table-wrap {
  overflow-x: auto;
}

.sc-table {
  width: 100%;
  border-collapse: collapse;
  border-top: 2px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  margin: 0.75rem 0 1.35rem;
  font-size: 0.95rem;
  line-height: 1.48;
  font-variant-numeric: tabular-nums;
}

.sc-table thead th {
  text-align: left;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
  font-weight: 700;
  font-size: 0.9rem;
  color: var(--ink);
  padding: 0.5rem 0.85rem 0.5rem 0;
  border-bottom: 1px solid var(--ink);
  vertical-align: bottom;
}

.sc-table th,
.sc-table td {
  text-align: left;
  padding: 0.65rem 0.95rem 0.65rem 0;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
}

.sc-table th:last-child,
.sc-table td:last-child {
  padding-right: 0;
}

.sc-table tbody tr:last-child th,
.sc-table tbody tr:last-child td {
  border-bottom: 0;
}

.sc-table tbody th[scope="row"] {
  width: 24%;
  font-weight: 700;
  color: var(--ink);
}

/* Citations & footnotes */
.sc-cite {
  font-size: 0.76em;
  vertical-align: super;
  line-height: 0;
  text-decoration: none;
  font-variant-numeric: tabular-nums;
  margin-left: 0.1em;
}
.sc-cite:hover {
  text-decoration: underline;
}

.sc-sources {
  font-size: 0.92rem;
  line-height: 1.5;
  color: var(--muted);
  padding-left: 1.4rem;
}
.sc-sources li {
  margin-bottom: 0.35rem;
}

/* Code & theorem excerpts */
.sc-code {
  margin: 0.45rem 0 0.75rem;
  padding: 0.75rem 0.95rem;
  background: var(--sheet);
  border: 1px solid var(--rule);
  border-left: 2px solid var(--ink);
  overflow-x: auto;
  font-size: 0.84rem;
  line-height: 1.52;
}

.sc-code-line {
  display: flex;
  gap: 0.85rem;
  align-items: baseline;
  padding: 0.45rem 0.75rem;
}

.sc-ln {
  color: var(--muted);
  user-select: none;
  font-variant-numeric: tabular-nums;
  min-width: 3.2ch;
  text-align: right;
  border-right: 1px solid var(--rule);
  padding-right: 0.65rem;
  flex-shrink: 0;
}

/* Scan report docket & findings */
.sc-docket {
  border-top: 2px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  padding: 1rem 0;
  margin-bottom: 1.35rem;
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  gap: 1.5rem;
  flex-wrap: wrap;
}

.sc-docket h1 {
  margin: 0 0 0.25rem;
  font-size: clamp(1.65rem, 2.8vw, 2.35rem);
}

.sc-verdict-box {
  border: 1px solid var(--ink);
  background: var(--sheet);
  padding: 0.65rem 1rem;
  min-width: 210px;
  text-align: left;
}

.sc-verdict-box-high {
  border-color: var(--oxblood);
  border-width: 2px;
}

.sc-verdict-label {
  display: block;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.07em;
  font-size: 0.84rem;
  color: var(--muted);
}

.sc-verdict-value {
  display: block;
  font-size: 1.25rem;
  font-weight: 700;
  font-variant-numeric: tabular-nums;
}
.sc-verdict-box-high .sc-verdict-value {
  color: var(--oxblood);
}

.sc-counts {
  font-size: 0.92rem;
  color: var(--muted);
  margin: 0 0 1rem;
}

.sc-sev {
  display: inline-block;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
  font-weight: 700;
  font-size: 0.88rem;
}

.sc-sev-critical,
.sc-sev-high {
  color: var(--oxblood);
}

.sc-sev-medium,
.sc-sev-low,
.sc-sev-info {
  color: var(--ink);
}

.sc-findings {
  list-style: decimal;
  padding-left: 1.5rem;
  margin: 0.75rem 0 1.75rem;
  border-top: 1px solid var(--ink);
}

.sc-finding {
  padding: 0.9rem 0;
  border-bottom: 1px solid var(--rule);
  margin: 0;
}

.sc-finding::marker {
  font-weight: 700;
  font-variant-numeric: tabular-nums;
}

.sc-finding-critical::marker,
.sc-finding-high::marker {
  color: var(--oxblood);
}

.sc-finding-head {
  display: flex;
  align-items: baseline;
  gap: 0.55rem;
  flex-wrap: wrap;
  margin-bottom: 0.3rem;
}

/* Theorems */
.sc-theorem {
  border-top: 1px solid var(--rule);
  padding: 0.75rem 0;
}
.sc-theorem:last-of-type {
  border-bottom: 1px solid var(--rule);
}

.sc-theorem summary {
  cursor: pointer;
  font-weight: 600;
}

.sc-dl {
  display: grid;
  grid-template-columns: 150px 1fr;
  gap: 0.35rem 1rem;
  margin: 0.6rem 0 0.2rem;
  font-size: 0.92rem;
}
.sc-dl dt {
  font-variant-caps: all-small-caps;
  letter-spacing: 0.05em;
  color: var(--muted);
  font-weight: 600;
}
.sc-dl dd {
  margin: 0;
}

/* Planted variants / Should fail docket */
.sc-mutant {
  border-top: 1px solid var(--rule);
  padding: 0.95rem 0;
}
.sc-mutant:first-of-type {
  border-top: 1px solid var(--ink);
}

.sc-mutant-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.75rem;
  flex-wrap: wrap;
  margin-bottom: 0.25rem;
}

.sc-should-fail {
  font-family: var(--serif);
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
  font-weight: 700;
  color: var(--oxblood);
  font-size: 0.88rem;
}

.sc-diff-del {
  color: var(--oxblood);
  text-decoration: line-through;
  text-decoration-thickness: 1.5px;
  background: var(--oxblood-bg);
  padding: 0 0.2em;
}

.sc-diff-ins {
  color: var(--ink);
  text-decoration: none;
  font-weight: 700;
  border-bottom: 1.5px solid var(--ink);
  padding: 0 0.15em;
}

/* Order status progression line */
.sc-status-line {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 0.5rem;
  padding: 0.65rem 0;
  margin: 0.5rem 0 1.25rem;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--rule);
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
  font-size: 0.92rem;
  color: var(--muted);
}

.sc-status-step {
  padding: 0.1rem 0.35rem;
}

.sc-status-step-done {
  color: var(--ink);
}

.sc-status-step-current {
  color: var(--ink);
  font-weight: 700;
  border-bottom: 2px solid var(--ink);
}

.sc-status-arrow {
  color: var(--rule-dark);
}

.sc-report {
  white-space: pre-wrap;
  background: var(--sheet);
  border: 1px solid var(--ink);
  padding: 1.25rem;
  font-size: 0.88rem;
  line-height: 1.55;
}

/* Colophon footer */
.sc-foot {
  border-top: 3px double var(--ink);
  padding: 1.75rem 0 2.5rem;
  margin-top: 2rem;
  font-size: 0.9rem;
  line-height: 1.55;
  color: var(--muted);
}

.sc-foot-grid {
  display: grid;
  grid-template-columns: minmax(0, 2fr) minmax(240px, 1fr);
  gap: 2rem;
}

.sc-foot p {
  margin: 0 0 0.65rem;
}

.sc-foot-links {
  display: flex;
  gap: 1.1rem;
  flex-wrap: wrap;
  margin-top: 0.5rem;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.06em;
}

/* Responsive */
@media (max-width: 820px) {
  .sc-front-grid,
  .sc-split,
  .sc-foot-grid {
    grid-template-columns: 1fr;
    gap: 1.75rem;
  }
  .sc-col-ruled {
    border-left: 0;
    padding-left: 0;
    border-top: 1px solid var(--ink);
    padding-top: 1.25rem;
  }
  .sc-dateline-inner {
    flex-direction: column;
    align-items: center;
    text-align: center;
    gap: 0.35rem;
  }
  .sc-nav {
    justify-content: center;
  }
  .sc-dl {
    grid-template-columns: 1fr;
    gap: 0.15rem;
  }
}

/* Clean A4 Referee / Correspondent Print Layout */
@media print {
  @page {
    size: A4;
    margin: 16mm 18mm;
  }
  html, body {
    background: #fff !important;
    color: #000 !important;
    font-size: 10.5pt;
    line-height: 1.48;
  }
  .sc-in, .sc-narrow {
    width: 100% !important;
    margin: 0 !important;
  }
  .sc-nav,
  .sc-crumbs,
  .sc-btn,
  .sc-cta-row,
  .sc-print-hide,
  .sc-foot-links {
    display: none !important;
  }
  .sc-masthead {
    padding-top: 0;
  }
  .sc-section {
    padding: 0.8rem 0;
    border: 0;
  }
  .sc-finding,
  .sc-theorem,
  .sc-mutant,
  .sc-docket {
    break-inside: avoid;
  }
  details.sc-theorem {
    display: block;
  }
  a {
    color: #000 !important;
    text-decoration: none;
  }
}