/* Trust Graduation Protocol — site.css */
/* Spec-paper aesthetic: cream paper, warm ink, serif body, mono code. */

:root {
  --paper: #ffffff;
  --paper-raised: #f7f7f7;
  --ink: #111111;
  --ink-dim: #555555;
  --ink-faint: #999999;
  --rule: #e5e5e5;
  --accent: #1e3a5f;
  --accent-dim: #3e5a7f;
  --mono-bg: #f5f5f5;
  --shadow: rgba(0, 0, 0, 0.08);
}

:root[data-theme="dark"] {
  --paper: #000000;
  --paper-raised: #0d0d0d;
  --ink: #f0f0f0;
  --ink-dim: #999999;
  --ink-faint: #5e5e5e;
  --rule: #262626;
  --accent: #8aa8d4;
  --accent-dim: #6a90c4;
  --mono-bg: #1a1a1a;
  --shadow: rgba(0, 0, 0, 0.6);
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme]) {
    --paper: #000000;
    --paper-raised: #0d0d0d;
    --ink: #f0f0f0;
    --ink-dim: #999999;
    --ink-faint: #5e5e5e;
    --rule: #262626;
    --accent: #8aa8d4;
    --accent-dim: #6a90c4;
    --mono-bg: #1a1a1a;
    --shadow: rgba(0, 0, 0, 0.6);
  }
}

* { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  font-family: 'IBM Plex Serif', 'Source Serif 4', 'Charter', 'Iowan Old Style', Georgia, serif;
  font-weight: 400;
  font-size: 18px;
  line-height: 1.72;
  color: var(--ink);
  background: var(--paper);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  text-rendering: optimizeLegibility;
}

code, pre, kbd, samp, .mono {
  font-family: 'JetBrains Mono', 'SF Mono', 'Menlo', 'Consolas', monospace;
  font-size: 0.92em;
  font-feature-settings: "calt" 1;
}

a {
  color: var(--accent);
  text-decoration: underline;
  text-decoration-color: var(--rule);
  text-underline-offset: 3px;
  transition: text-decoration-color 0.15s ease, color 0.15s ease;
}
a:hover { text-decoration-color: var(--accent); }

hr {
  border: 0;
  border-top: 1px solid var(--rule);
  margin: 3rem 0;
}

/* Layout */
.site-header {
  border-bottom: 1px solid var(--rule);
  background: var(--paper);
}
.site-header-inner {
  max-width: 56rem;
  margin: 0 auto;
  padding: 1.25rem 2rem;
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 2rem;
}
.wordmark {
  font-family: 'IBM Plex Serif', serif;
  font-weight: 600;
  font-size: 1.05rem;
  letter-spacing: 0.01em;
  color: var(--ink);
  text-decoration: none;
  display: inline-flex;
  align-items: baseline;
  gap: 0.55rem;
}
.wordmark .glyph {
  display: inline-block;
  width: 0.9rem;
  height: 0.9rem;
  position: relative;
  top: 0.05rem;
}
.wordmark .glyph::before,
.wordmark .glyph::after,
.wordmark .glyph span {
  content: "";
  position: absolute;
  left: 0;
  background: var(--accent);
  height: 2px;
}
.wordmark .glyph::before { top: 0; width: 35%; }
.wordmark .glyph span    { top: 5px; width: 65%; display: block; }
.wordmark .glyph::after  { top: 10px; width: 100%; }
.site-header nav {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.78rem;
  color: var(--ink-dim);
  display: flex;
  gap: 1.6rem;
  align-items: baseline;
}
.site-header nav a {
  color: var(--ink-dim);
  text-decoration: none;
  border-bottom: 1px dotted transparent;
  padding-bottom: 2px;
}
.site-header nav a:hover { color: var(--ink); border-bottom-color: var(--rule); }
.site-header nav .version {
  color: var(--ink-faint);
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.theme-toggle {
  background: transparent;
  border: 1px solid var(--rule);
  color: var(--ink-dim);
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.7rem;
  padding: 0.2rem 0.55rem;
  cursor: pointer;
  border-radius: 2px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.theme-toggle:hover { color: var(--ink); border-color: var(--ink-dim); }

main {
  display: block;
}

.page {
  max-width: 36rem;
  margin: 0 auto;
  padding: 4rem 2rem 6rem;
}
.page.wide {
  max-width: 52rem;
}
.page.spec {
  max-width: 60rem;
  display: grid;
  grid-template-columns: 14rem minmax(0, 1fr);
  gap: 3rem;
  padding: 3rem 2rem 6rem;
}

@media (max-width: 820px) {
  .page.spec {
    grid-template-columns: 1fr;
    gap: 2rem;
    padding-top: 2rem;
  }
}

/* TOC */
.toc {
  position: sticky;
  top: 2rem;
  align-self: start;
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.78rem;
  line-height: 1.7;
  color: var(--ink-dim);
  border-left: 1px solid var(--rule);
  padding-left: 1rem;
  max-height: calc(100vh - 4rem);
  overflow-y: auto;
}
.toc h2 {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.7rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-faint);
  font-weight: 500;
  margin: 0 0 0.75rem;
}
.toc ol {
  list-style: none;
  padding: 0;
  margin: 0;
  counter-reset: toc;
}
.toc ol li {
  counter-increment: toc;
  margin: 0.1rem 0;
}
.toc ol li::before {
  content: counter(toc) ". ";
  color: var(--ink-faint);
}
.toc a {
  color: var(--ink-dim);
  text-decoration: none;
}
.toc a:hover { color: var(--ink); }

@media (max-width: 820px) {
  .toc {
    position: static;
    border-left: 0;
    border-top: 1px solid var(--rule);
    border-bottom: 1px solid var(--rule);
    padding: 1rem 0;
    max-height: none;
  }
}

/* Typography */
h1, h2, h3, h4 {
  font-weight: 600;
  color: var(--ink);
  letter-spacing: -0.005em;
}
h1 {
  font-size: 2rem;
  line-height: 1.15;
  margin: 0 0 0.5rem;
}
h2 {
  font-size: 1.35rem;
  line-height: 1.25;
  margin: 3rem 0 0.75rem;
  padding-top: 0.5rem;
}
h3 {
  font-size: 1.08rem;
  line-height: 1.3;
  margin: 2rem 0 0.5rem;
}
h4 {
  font-size: 0.95rem;
  line-height: 1.3;
  margin: 1.5rem 0 0.4rem;
  letter-spacing: 0.01em;
}

.section-num {
  display: inline-block;
  margin-right: 0.55rem;
  color: var(--ink-faint);
  font-variant-numeric: tabular-nums;
}
.permalink {
  margin-left: 0.5rem;
  color: var(--ink-faint);
  text-decoration: none;
  font-weight: 400;
  opacity: 0;
  transition: opacity 0.15s ease;
}
h2:hover .permalink, h3:hover .permalink, h4:hover .permalink { opacity: 1; }

p {
  margin: 0.85em 0;
  color: var(--ink);
}

.lede {
  font-size: 1.1rem;
  line-height: 1.65;
  color: var(--ink-dim);
  margin: 1rem 0 2rem;
}

.eyebrow {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.7rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-faint);
  margin: 0 0 0.75rem;
  display: block;
}

/* Title block */
.titleblock {
  border-bottom: 1px solid var(--rule);
  padding-bottom: 1.5rem;
  margin-bottom: 2rem;
}
.titleblock .meta {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.78rem;
  color: var(--ink-dim);
  margin-top: 0.75rem;
  display: flex;
  flex-wrap: wrap;
  gap: 1.25rem;
}
.titleblock .meta span strong {
  color: var(--ink-faint);
  font-weight: 500;
  margin-right: 0.4em;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  font-size: 0.65rem;
}

/* Abstract */
.abstract {
  border-left: 3px solid var(--accent);
  padding: 0.2rem 0 0.2rem 1.25rem;
  margin: 2rem 0;
  font-size: 1rem;
  color: var(--ink);
}
.abstract .label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.7rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-faint);
  display: block;
  margin-bottom: 0.4rem;
}

/* Code */
pre {
  background: var(--mono-bg);
  border: 1px solid var(--rule);
  border-radius: 3px;
  padding: 1rem 1.1rem;
  overflow-x: auto;
  line-height: 1.55;
  font-size: 0.82rem;
  margin: 1rem 0;
  color: var(--ink);
}
p code, li code, td code, th code {
  background: var(--mono-bg);
  border: 1px solid var(--rule);
  padding: 0.05rem 0.35rem;
  border-radius: 2px;
  font-size: 0.85em;
  color: var(--ink);
}
pre code {
  background: transparent;
  border: 0;
  padding: 0;
  font-size: 1em;
}

/* Tables */
table {
  width: 100%;
  border-collapse: collapse;
  margin: 1.25rem 0;
  font-size: 0.94rem;
}
th, td {
  text-align: left;
  padding: 0.5rem 0.75rem;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
}
th {
  font-weight: 600;
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.72rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-dim);
  border-bottom: 1px solid var(--ink-dim);
}
td.num, th.num { text-align: right; font-variant-numeric: tabular-nums; }
td code { font-size: 0.84em; }

/* Lists */
ul, ol {
  padding-left: 1.3rem;
  margin: 0.75rem 0;
}
li { margin: 0.25rem 0; }

/* Primary CTA row */
.cta-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
  margin: 1.75rem 0 0;
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.85rem;
}
.cta {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  padding: 0.55rem 1rem;
  border: 1px solid var(--ink);
  color: var(--ink);
  text-decoration: none;
  border-radius: 2px;
  transition: background 0.15s ease, color 0.15s ease;
}
.cta:hover { background: var(--ink); color: var(--paper); }
.cta.secondary {
  border-color: var(--rule);
  color: var(--ink-dim);
}
.cta.secondary:hover { background: transparent; border-color: var(--ink-dim); color: var(--ink); }
.cta .arrow {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.95em;
}

/* Definition list — primitives */
.dlist {
  border-top: 1px solid var(--rule);
  margin: 1rem 0;
}
.dlist > div {
  border-bottom: 1px solid var(--rule);
  padding: 1.1rem 0;
  display: grid;
  grid-template-columns: 12rem minmax(0, 1fr);
  gap: 1.5rem;
}
.dlist > div > dt {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.85rem;
  color: var(--ink);
}
.dlist > div > dd {
  margin: 0;
  color: var(--ink-dim);
  font-size: 0.97rem;
}
@media (max-width: 600px) {
  .dlist > div { grid-template-columns: 1fr; gap: 0.3rem; }
}

/* Section header divider */
.section-divider {
  display: flex;
  align-items: baseline;
  gap: 1rem;
  margin: 3.5rem 0 0;
}
.section-divider::after {
  content: "";
  flex: 1;
  border-bottom: 1px solid var(--rule);
}
.section-divider .label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.7rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-faint);
}

/* Footer */
.site-footer {
  border-top: 1px solid var(--rule);
  margin-top: 4rem;
  padding: 2rem 0;
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.78rem;
  color: var(--ink-faint);
}
.site-footer-inner {
  max-width: 56rem;
  margin: 0 auto;
  padding: 0 2rem;
  display: flex;
  justify-content: space-between;
  gap: 2rem;
  flex-wrap: wrap;
}
.site-footer a {
  color: var(--ink-dim);
  text-decoration: none;
}
.site-footer a:hover { color: var(--ink); }

/* Schema list */
.schema-list {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.85rem;
  border-top: 1px solid var(--rule);
}
.schema-list a {
  display: grid;
  grid-template-columns: 14rem 1fr;
  gap: 1rem;
  padding: 0.8rem 0;
  border-bottom: 1px solid var(--rule);
  color: var(--ink);
  text-decoration: none;
}
.schema-list a span.desc {
  color: var(--ink-dim);
  font-family: 'IBM Plex Serif', serif;
  font-size: 0.95rem;
}
.schema-list a:hover { background: var(--paper-raised); }

/* Implementation card */
.impl-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr));
  gap: 1rem;
  margin: 1.25rem 0;
}
.impl-card {
  border: 1px solid var(--rule);
  border-radius: 3px;
  padding: 1.1rem;
  background: var(--paper);
}
.impl-card h3 {
  margin: 0 0 0.25rem;
  font-size: 1rem;
}
.impl-card p {
  margin: 0.4rem 0 0.75rem;
  font-size: 0.92rem;
  color: var(--ink-dim);
}
.impl-card .impl-meta {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.75rem;
  color: var(--ink-faint);
}

/* Print-friendly defaults */
@media print {
  .site-header, .site-footer, .theme-toggle, .toc { display: none; }
  .page, .page.spec { display: block; max-width: 100%; padding: 0; }
  body { background: white; color: black; font-size: 11pt; }
  pre, code { background: #f5f5f5; border-color: #ddd; }
}