/* Shared chrome for every page on the site: tokens, nav, ruled column, footer.
   Page-specific styles stay inline in the page that needs them. */

/* Vendored IBM Plex Mono (latin subset) — no external requests. */
@font-face { font-family: "Plex Mono"; src: url(fonts/plexmono-400.woff2) format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Plex Mono"; src: url(fonts/plexmono-500.woff2) format("woff2"); font-weight: 500; font-style: normal; font-display: swap; }
@font-face { font-family: "Plex Mono"; src: url(fonts/plexmono-600.woff2) format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Plex Mono"; src: url(fonts/plexmono-italic-400.woff2) format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }

:root {
  --bg: #0a0e14;
  --bg-2: #0d1219;
  --line: #1b232e;
  --line-2: #29323f;
  --ink: #c9d3df;
  --dim: #828f9e;
  --faint: #57626f;
  --accent: #4d8bf5;
  --green: #41b866;
  --red: #e05a51;
  --amber: #d9a032;
  --mono: "Plex Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--mono);
  font-size: 14px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}
a { color: inherit; text-decoration: none; }
a:hover { color: #fff; }
:focus-visible { outline: 1px solid var(--accent); outline-offset: 3px; border-radius: 1px; }
::selection { background: rgba(77,139,245,0.3); }
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { animation: none !important; transition: none !important; } }

/* ---- nav ----
   Scoped to the top-level bar so in-page <nav> elements (post prev/next)
   are not made sticky. */
body > nav {
  position: sticky; top: 0; z-index: 40;
  background: var(--bg);
  border-bottom: 1px solid var(--line);
}
.nav-in {
  width: min(1080px, 94vw); margin: 0 auto;
  display: flex; align-items: center; height: 52px;
}
.brand { font-weight: 600; font-size: 13.5px; letter-spacing: -0.2px; }
.brand .prompt { color: var(--accent); font-weight: 400; }
.nav-links { margin-left: auto; display: flex; align-items: baseline; gap: 26px; }
.nav-links a {
  color: var(--dim); font-size: 11px; letter-spacing: 1.6px; text-transform: uppercase;
  padding: 17px 0;
}
.nav-links a i { font-style: normal; color: var(--faint); margin-right: 3px; }
.nav-links a:hover { color: var(--ink); }
.nav-links a.gh { color: var(--ink); }
.nav-links a.gh:hover { color: var(--accent); }

/* ---- ruled column ---- */
.rail {
  width: min(1080px, 94vw); margin: 0 auto;
  border-left: 1px solid var(--line);
  border-right: 1px solid var(--line);
}
section, header.hero { display: block; position: relative; padding: 0 52px; }
section { border-top: 1px solid var(--line); scroll-margin-top: 64px; }
section::before, section::after {
  content: "+"; position: absolute; top: -0.72em;
  color: var(--line-2); font-size: 13px; line-height: 1;
  background: var(--bg); z-index: 1;
}
section::before { left: -4px; }
section::after { right: -4px; }

.sec-head { padding-top: 54px; }
.sec-label {
  font-size: 10.5px; letter-spacing: 2.2px; text-transform: uppercase; color: var(--dim);
}
.sec-label i { font-style: normal; color: var(--accent); margin-right: 8px; }
h2 { font-size: 23px; letter-spacing: -0.4px; margin: 14px 0 10px; font-weight: 600; }
.lead { color: var(--dim); max-width: 62ch; margin: 0 0 36px; }
.lead code {
  color: var(--ink); font-size: 12.5px;
  background: var(--bg-2); border: 1px solid var(--line); border-radius: 3px; padding: 1px 5px;
}

/* ---- buttons and inline links ---- */
.btn {
  display: inline-flex; align-items: center; gap: 9px;
  padding: 10px 18px; border-radius: 3px; font-size: 13px; font-weight: 600;
  border: 1px solid var(--line-2); color: var(--ink);
  background: transparent; cursor: pointer; font-family: var(--mono);
  transition: border-color .15s, color .15s, background .15s;
}
.btn:hover { border-color: var(--accent); color: #fff; }
.btn-primary { background: var(--accent); border-color: var(--accent); color: #071120; }
.btn-primary:hover { background: #5e97f7; color: #071120; }
.btn .g { font-weight: 400; opacity: .75; }
.alink { color: var(--ink); font-size: 12.5px; text-decoration: underline; text-underline-offset: 3px; }
.alink:hover { color: var(--accent); }

/* ---- footer ---- */
footer { border-top: 1px solid var(--line); }
.foot-in {
  width: min(1080px, 94vw); margin: 0 auto; padding: 26px 52px;
  display: flex; justify-content: space-between; gap: 20px; flex-wrap: wrap; align-items: center;
  font-size: 12.5px; color: var(--dim);
  border-left: 1px solid var(--line); border-right: 1px solid var(--line);
}
.foot-in a { color: var(--dim); text-decoration: underline; text-underline-offset: 3px; }
.foot-in a:hover { color: var(--ink); }
.foot-links { display: flex; gap: 22px; }
.manline {
  width: min(1080px, 94vw); margin: 0 auto; padding: 14px 52px 32px;
  display: flex; justify-content: space-between;
  font-size: 10px; letter-spacing: 1.6px; text-transform: uppercase; color: var(--faint);
  border-left: 1px solid var(--line); border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

@media (max-width: 900px) {
  section, header.hero { padding-left: 22px; padding-right: 22px; }
  .foot-in, .manline { padding-left: 22px; padding-right: 22px; }
  .nav-links a:not(.gh):not(.keep) { display: none; }
  .manline .mid { display: none; }
}