@font-face {
  font-family: "Plex Mono Fallback";
  src: local("IBM Plex Mono"), local("JetBrains Mono");
}

:root {
  --paper: #f2f3ef;
  --paper-raised: #eceee7;
  --ink: #21241f;
  --ink-soft: #4a4d45;
  --muted: #797d72;
  --pine: #2f5d50;
  --steel: #345e86;
  --line: #d8d9d0;
  --line-strong: #c3c5b9;
  --max: 640px;
}

* {
  box-sizing: border-box;
}

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

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: "Source Serif 4", "Iowan Old Style", Charter, Georgia, serif;
  font-size: 18px;
  line-height: 1.6;
  text-rendering: optimizeLegibility;
}

::selection {
  background: var(--pine);
  color: var(--paper);
}

a {
  color: var(--pine);
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}

a:hover {
  color: var(--steel);
}

a:focus-visible,
button:focus-visible {
  outline: 2px solid var(--steel);
  outline-offset: 3px;
}

.mono {
  font-family: "IBM Plex Mono", "Plex Mono Fallback", ui-monospace, SFMono-Regular, Menlo, monospace;
}

/* ---------- hero ---------- */

.hero {
  position: relative;
  overflow: hidden;
  border-bottom: 1px solid var(--line-strong);
  background-image:
    repeating-linear-gradient(0deg, transparent 0 39px, var(--line) 39px 40px),
    repeating-linear-gradient(90deg, transparent 0 39px, var(--line) 39px 40px);
  background-size: 40px 40px;
}

.hero::before {
  content: "";
  position: absolute;
  inset: -20% -10%;
  background: radial-gradient(ellipse at 20% 0%, var(--paper) 40%, transparent 72%);
  pointer-events: none;
}

.hero-inner {
  position: relative;
  max-width: 820px;
  margin: 0 auto;
  padding: 4.5rem 1.5rem 3.5rem;
}

.plot-mark {
  width: 46px;
  height: 46px;
  margin-bottom: 1.75rem;
  animation: draw-in 1.1s ease-out both;
}

@media (prefers-reduced-motion: reduce) {
  .plot-mark {
    animation: none;
  }
}

@keyframes draw-in {
  from {
    stroke-dashoffset: 220;
    opacity: 0;
  }
  to {
    stroke-dashoffset: 0;
    opacity: 1;
  }
}

.plot-mark path {
  fill: none;
  stroke: var(--pine);
  stroke-width: 1.6;
  stroke-dasharray: 220;
  stroke-dashoffset: 0;
}

h1.site-title {
  margin: 0 0 0.6rem;
  font-family: "IBM Plex Mono", "Plex Mono Fallback", ui-monospace, monospace;
  font-weight: 600;
  font-size: clamp(1.9rem, 4vw, 2.6rem);
  letter-spacing: -0.01em;
  line-height: 1.15;
  max-width: 16ch;
}

.subhead {
  margin: 0 0 2.25rem;
  color: var(--ink-soft);
  font-size: 1.05rem;
  max-width: 46ch;
}

nav.site-nav {
  display: flex;
  gap: 1.5rem;
  font-family: "IBM Plex Mono", "Plex Mono Fallback", ui-monospace, monospace;
  font-size: 0.92rem;
}

nav.site-nav a {
  color: var(--ink);
  text-decoration: none;
  border-bottom: 1px solid var(--line-strong);
  padding-bottom: 2px;
  margin-right: 1.5rem;
}

nav.site-nav a:last-child {
  margin-right: 0;
}

nav.site-nav a:hover {
  color: var(--pine);
  border-color: var(--pine);
}

nav.site-nav a[aria-current="page"] {
  color: var(--pine);
  border-color: var(--pine);
}

/* ---------- main content ---------- */

main {
  max-width: var(--max);
  margin: 0 auto;
  padding: 3rem 1.5rem 5rem;
}

.intro {
  color: var(--ink-soft);
  margin-bottom: 3rem;
}

.entry {
  padding: 2.1rem 0;
  border-top: 1px solid var(--line);
}

.entry:first-of-type {
  border-top: none;
  padding-top: 0;
}

.entry time {
  display: block;
  font-family: "IBM Plex Mono", "Plex Mono Fallback", ui-monospace, monospace;
  font-size: 0.82rem;
  color: var(--muted);
  margin-bottom: 0.4rem;
}

.entry h2 {
  margin: 0 0 0.6rem;
  font-family: "Source Serif 4", Charter, Georgia, serif;
  font-weight: 600;
  font-size: 1.35rem;
  line-height: 1.3;
}

.entry p {
  margin: 0 0 0.85rem;
  max-width: 62ch;
}

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

.entry .spec {
  color: var(--muted);
  font-size: 0.95rem;
}

.page h1 {
  font-family: "IBM Plex Mono", "Plex Mono Fallback", ui-monospace, monospace;
  font-size: 1.7rem;
  font-weight: 600;
  margin: 0 0 1.4rem;
}

.page p {
  max-width: 62ch;
}

/* ---------- footer ---------- */

footer {
  max-width: var(--max);
  margin: 0 auto;
  padding: 0 1.5rem 4rem;
  color: var(--muted);
  font-size: 0.9rem;
}

footer a {
  color: var(--muted);
}

/* ---------- 404 ---------- */

.notfound {
  max-width: var(--max);
  margin: 0 auto;
  padding: 6rem 1.5rem;
}

.notfound .code {
  font-family: "IBM Plex Mono", "Plex Mono Fallback", ui-monospace, monospace;
  color: var(--muted);
  font-size: 0.95rem;
  margin-bottom: 1rem;
}

.notfound h1 {
  font-family: "IBM Plex Mono", "Plex Mono Fallback", ui-monospace, monospace;
  font-size: 1.5rem;
  font-weight: 600;
  margin: 0 0 1rem;
}

@media (max-width: 480px) {
  .hero-inner {
    padding: 3.25rem 1.25rem 2.75rem;
  }
  main,
  footer,
  .notfound {
    padding-left: 1.25rem;
    padding-right: 1.25rem;
  }
  body {
    font-size: 17px;
  }
}