/* Hopf docs — GitHub Pages */
:root {
  color-scheme: light dark;
  --bg: #f0f2f5;
  --surface: #ffffff;
  --ink: #12141a;
  --muted: #5a6170;
  --accent: #0a6b5c;
  --accent-hover: #085548;
  --border: #d0d5dd;
  --code-bg: #e6e9ef;
  --pre-bg: #1c212b;
  --pre-ink: #e8ecf4;
  --glow-accent: rgba(10, 107, 92, 0.08);
  --glow-ink: rgba(18, 20, 26, 0.04);
  --nav-w: 15.5rem;
  --font: "Literata", "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --mono: "IBM Plex Mono", "ui-monospace", "Cascadia Code", Menlo, monospace;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #12151c;
    --surface: #1a1f2a;
    --ink: #e8ecf4;
    --muted: #9aa3b5;
    --accent: #3dbaa5;
    --accent-hover: #6dd4c0;
    --border: #2e3545;
    --code-bg: #252b38;
    --pre-bg: #0d1016;
    --pre-ink: #e8ecf4;
    --glow-accent: rgba(61, 186, 165, 0.12);
    --glow-ink: rgba(232, 236, 244, 0.03);
  }
}

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

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  min-height: 100vh;
  font-family: var(--font);
  font-size: 1.05rem;
  line-height: 1.55;
  color: var(--ink);
  background:
    radial-gradient(ellipse 80% 50% at 100% 0%, var(--glow-accent), transparent 55%),
    radial-gradient(ellipse 60% 40% at 0% 100%, var(--glow-ink), transparent 50%),
    var(--bg);
}

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

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

.layout {
  display: grid;
  grid-template-columns: var(--nav-w) minmax(0, 1fr);
  min-height: 100vh;
  max-width: 72rem;
  margin: 0 auto;
}

.nav {
  position: sticky;
  top: 0;
  align-self: start;
  height: 100vh;
  overflow-y: auto;
  padding: 1.5rem 1rem 2rem 1.25rem;
  border-right: 1px solid var(--border);
  background: color-mix(in srgb, var(--surface) 88%, transparent);
  backdrop-filter: blur(8px);
}

.nav .logo {
  display: block;
  margin: 0 0 0.85rem;
  line-height: 0;
  text-decoration: none;
}

.nav .logo img {
  display: block;
  width: 100%;
  height: auto;
}

.nav .brand {
  display: block;
  font-size: 1.35rem;
  font-weight: 700;
  letter-spacing: -0.02em;
  color: var(--ink);
  text-decoration: none;
  margin-bottom: 0.25rem;
}

.nav .brand:hover {
  color: var(--accent);
}

.nav .tag {
  font-size: 0.8rem;
  color: var(--muted);
  margin: 0 0 1.25rem;
}

.nav h2 {
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--muted);
  margin: 1.1rem 0 0.4rem;
  font-weight: 600;
}

.nav ul {
  list-style: none;
  margin: 0;
  padding: 0;
}

.nav li {
  margin: 0.2rem 0;
}

.nav a {
  color: var(--ink);
  text-decoration: none;
  font-size: 0.92rem;
  display: block;
  padding: 0.15rem 0.35rem;
  border-radius: 0.25rem;
}

.nav a:hover,
.nav a[aria-current="page"] {
  background: color-mix(in srgb, var(--accent) 12%, transparent);
  color: var(--accent-hover);
}

.nav a.logo:hover {
  background: transparent;
}

.main {
  padding: 2rem 2.25rem 3.5rem;
  max-width: 46rem;
}

.main > header {
  margin-bottom: 1.75rem;
  padding-bottom: 1rem;
  border-bottom: 1px solid var(--border);
}

.main > header h1 {
  margin: 0 0 0.35rem;
  font-size: 2rem;
  letter-spacing: -0.02em;
  line-height: 1.2;
}

.main > header .lead {
  margin: 0;
  color: var(--muted);
  font-size: 1.05rem;
}

.main h2 {
  margin-top: 2rem;
  font-size: 1.35rem;
}

.main h3 {
  margin-top: 1.5rem;
  font-size: 1.1rem;
}

.main h4 {
  margin-top: 1.15rem;
  font-size: 1rem;
}

.main .toc {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 0.35rem;
  padding: 0.85rem 1.1rem;
  margin: 1rem 0 1.5rem;
}

.main .toc > p {
  margin: 0 0 0.4rem;
  font-weight: 600;
  font-size: 0.92rem;
}

.main .toc ul {
  margin: 0;
  padding-left: 1.2rem;
}

.main .toc li {
  margin: 0.2rem 0;
  font-size: 0.95rem;
}

.main .crate {
  font-family: var(--mono);
  font-size: 0.88em;
  color: var(--muted);
}

.main p,
.main li {
  color: var(--ink);
}

.main table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.95rem;
  margin: 1rem 0 1.5rem;
  background: var(--surface);
  border: 1px solid var(--border);
}

.main th,
.main td {
  text-align: left;
  padding: 0.5rem 0.65rem;
  border-bottom: 1px solid var(--border);
  vertical-align: top;
}

.main th {
  background: var(--code-bg);
  font-weight: 600;
}

.main pre {
  background: var(--pre-bg);
  color: var(--pre-ink);
  padding: 1rem 1.1rem;
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 0.82rem;
  line-height: 1.45;
  border-radius: 0.35rem;
}

.main code {
  font-family: var(--mono);
  font-size: 0.88em;
}

.main :not(pre) > code {
  background: var(--code-bg);
  padding: 0.1em 0.35em;
  border-radius: 0.2rem;
}

.main pre code {
  background: none;
  padding: 0;
  font-size: inherit;
  color: inherit;
}

.main blockquote {
  margin: 1rem 0;
  padding: 0.35rem 0 0.35rem 1rem;
  border-left: 3px solid var(--accent);
  color: var(--muted);
}

.diagram {
  margin: 1.25rem 0 1.75rem;
  padding: 1.1rem 0.85rem 0.85rem;
  background:
    linear-gradient(165deg, color-mix(in srgb, var(--accent) 6%, var(--surface)) 0%, var(--surface) 45%),
    var(--surface);
  border: 1px solid var(--border);
  border-radius: 0.4rem;
  overflow-x: auto;
}

.diagram svg {
  display: block;
  margin: 0 auto;
  max-width: 100%;
  height: auto;
}

.diagram figcaption {
  margin: 0.85rem 0 0;
  text-align: center;
  font-size: 0.88rem;
  color: var(--muted);
  line-height: 1.4;
}

.footer {
  margin-top: 3rem;
  padding-top: 1rem;
  border-top: 1px solid var(--border);
  font-size: 0.88rem;
  color: var(--muted);
}

@media (max-width: 800px) {
  .layout {
    grid-template-columns: 1fr;
  }

  .nav {
    position: relative;
    height: auto;
    border-right: none;
    border-bottom: 1px solid var(--border);
  }

  .nav .logo {
    max-width: 9.5rem;
  }

  .main {
    padding: 1.5rem 1.15rem 2.5rem;
  }
}