/*
  Haven documentation — stylesheet.

  Palette taken from the app itself: a warm, low-stimulation scheme, deliberately the
  opposite of a gambling aesthetic. Every foreground/background pair below was checked
  against WCAG 2.1 AA (4.5:1 for body text, 3:1 for large text and UI borders).

  Muted ink is #5A6355 rather than the app's lighter #6B7563: at 3.9:1 the original fails
  AA for body-size text on this background. The app uses it at larger sizes where it passes.
*/

:root {
  --bg: #f3efe2;
  --surface: #fbf9f1;
  --surface-2: #efe9d8;
  --border: #e0dac6;
  --border-strong: #cfc7ae;
  --ink: #2c3a26;
  --ink-muted: #5a6355;
  --accent: #2e5d34;
  --accent-soft: rgba(46, 93, 52, 0.09);
  --shadow: 0 1px 2px rgba(44, 58, 38, 0.05), 0 8px 24px rgba(44, 58, 38, 0.05);
  --radius: 12px;
  --sidebar-w: 17.5rem;
  --toc-w: 15rem;
  --topbar-h: 3.75rem;
  --measure: 74ch;
  color-scheme: light;
}

:root[data-theme='dark'],
:root[data-theme='auto'] {
  color-scheme: light;
}

@media (prefers-color-scheme: dark) {
  :root[data-theme='auto'] {
    color-scheme: dark;
  }
}

:root[data-theme='dark'],
:root[data-theme='auto'][data-system='dark'] {
  --bg: #12160f;
  --surface: #1a1f16;
  --surface-2: #222820;
  --border: #2c3327;
  --border-strong: #3d4636;
  --ink: #e7ece8;
  --ink-muted: #9aa595;
  --accent: #8fd0a6;
  --accent-soft: rgba(143, 208, 166, 0.12);
  --shadow: 0 1px 2px rgba(0, 0, 0, 0.3), 0 8px 24px rgba(0, 0, 0, 0.25);
  color-scheme: dark;
}

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

html {
  scroll-behavior: smooth;
  scroll-padding-top: calc(var(--topbar-h) + 1rem);
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
  *,
  *::before,
  *::after {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
  }
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: ui-sans-serif, system-ui, -apple-system, 'Segoe UI', Roboto, Helvetica, Arial,
    sans-serif;
  font-size: 16px;
  line-height: 1.7;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

/* ---- accessibility helpers ------------------------------------------------ */

.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  margin: -1px;
  padding: 0;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
  border: 0;
}

.skip {
  position: absolute;
  left: 0.5rem;
  top: -4rem;
  z-index: 100;
  padding: 0.7rem 1.1rem;
  background: var(--accent);
  color: var(--bg);
  border-radius: var(--radius);
  font-weight: 600;
  text-decoration: none;
  transition: top 0.15s ease;
}

.skip:focus {
  top: 0.5rem;
}

:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
  border-radius: 3px;
}

/* ---- top bar -------------------------------------------------------------- */

.topbar {
  position: sticky;
  top: 0;
  z-index: 50;
  display: flex;
  align-items: center;
  gap: 1rem;
  height: var(--topbar-h);
  padding: 0 1.25rem;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--border);
}

.brand {
  display: flex;
  align-items: center;
  gap: 0.55rem;
  color: var(--ink);
  font-weight: 700;
  font-size: 1.0625rem;
  letter-spacing: -0.01em;
  text-decoration: none;
  white-space: nowrap;
}

.brand svg {
  color: var(--accent);
  flex: none;
}

.brand-sub {
  color: var(--ink-muted);
  font-weight: 500;
}

.menu-toggle {
  display: none;
  flex-direction: column;
  justify-content: center;
  gap: 4px;
  width: 2.25rem;
  height: 2.25rem;
  padding: 0 0.4rem;
  background: none;
  border: 1px solid var(--border);
  border-radius: 9px;
  cursor: pointer;
}

.menu-toggle span {
  display: block;
  height: 2px;
  background: var(--ink);
  border-radius: 2px;
}

.theme-toggle {
  display: grid;
  place-items: center;
  width: 2.25rem;
  height: 2.25rem;
  margin-left: auto;
  flex: none;
  background: none;
  color: var(--ink);
  border: 1px solid var(--border);
  border-radius: 9px;
  cursor: pointer;
}

.theme-toggle:hover {
  background: var(--surface);
  border-color: var(--border-strong);
}

.theme-toggle .icon-moon {
  display: none;
}

:root[data-theme='dark'] .theme-toggle .icon-sun,
:root[data-theme='auto'][data-system='dark'] .theme-toggle .icon-sun {
  display: none;
}

:root[data-theme='dark'] .theme-toggle .icon-moon,
:root[data-theme='auto'][data-system='dark'] .theme-toggle .icon-moon {
  display: block;
}

/* ---- search --------------------------------------------------------------- */

.search {
  position: relative;
  margin-left: auto;
  width: min(22rem, 38vw);
}

.search + .theme-toggle {
  margin-left: 0;
}

#search-input {
  width: 100%;
  padding: 0.5rem 0.85rem;
  font: inherit;
  font-size: 0.9375rem;
  color: var(--ink);
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 9px;
}

#search-input::placeholder {
  color: var(--ink-muted);
}

#search-input:focus {
  border-color: var(--accent);
}

.search-results {
  position: absolute;
  top: calc(100% + 0.5rem);
  right: 0;
  width: min(30rem, 90vw);
  max-height: 65vh;
  overflow-y: auto;
  padding: 0.4rem;
  background: var(--surface);
  border: 1px solid var(--border-strong);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
}

.search-results a {
  display: block;
  padding: 0.55rem 0.7rem;
  border-radius: 8px;
  color: var(--ink);
  text-decoration: none;
}

.search-results a:hover,
.search-results a.is-active {
  background: var(--accent-soft);
}

.search-results .r-title {
  display: block;
  font-weight: 600;
  font-size: 0.9375rem;
}

.search-results .r-section {
  color: var(--ink-muted);
  font-size: 0.75rem;
  text-transform: uppercase;
  letter-spacing: 0.06em;
}

.search-results .r-snippet {
  display: block;
  color: var(--ink-muted);
  font-size: 0.8125rem;
  line-height: 1.5;
  margin-top: 0.15rem;
}

.search-results .r-empty {
  padding: 0.85rem 0.7rem;
  color: var(--ink-muted);
  font-size: 0.9375rem;
}

.search-results mark {
  background: var(--accent-soft);
  color: inherit;
  font-weight: 600;
  border-radius: 3px;
}

/* ---- shell ---------------------------------------------------------------- */

.shell {
  display: grid;
  grid-template-columns: var(--sidebar-w) minmax(0, 1fr) var(--toc-w);
  gap: 2.5rem;
  max-width: 96rem;
  margin: 0 auto;
  padding: 0 1.5rem;
  align-items: start;
}

.sidebar {
  position: sticky;
  top: var(--topbar-h);
  max-height: calc(100vh - var(--topbar-h));
  overflow-y: auto;
  padding: 2rem 0.5rem 3rem 0;
  font-size: 0.9375rem;
}

.nav-section {
  margin: 1.75rem 0 0.5rem;
  padding: 0 0.75rem;
  font-size: 0.6875rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ink-muted);
}

.nav-section:first-child {
  margin-top: 0;
}

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

.nav-list a {
  display: block;
  padding: 0.34rem 0.75rem;
  border-radius: 8px;
  color: var(--ink-muted);
  text-decoration: none;
  border-left: 2px solid transparent;
}

.nav-list a:hover {
  color: var(--ink);
  background: var(--accent-soft);
}

.nav-list a[aria-current='page'] {
  color: var(--accent);
  background: var(--accent-soft);
  border-left-color: var(--accent);
  font-weight: 600;
}

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

.content {
  min-width: 0;
  padding: 2.5rem 0 5rem;
}

.content article {
  max-width: var(--measure);
}

h1,
h2,
h3 {
  line-height: 1.25;
  letter-spacing: -0.015em;
  scroll-margin-top: calc(var(--topbar-h) + 1rem);
}

h1 {
  margin: 0 0 1.5rem;
  font-size: clamp(1.9rem, 1.4rem + 1.6vw, 2.5rem);
}

h2 {
  margin: 3rem 0 1rem;
  padding-top: 0.5rem;
  font-size: 1.4rem;
  border-top: 1px solid var(--border);
}

h3 {
  margin: 2.25rem 0 0.75rem;
  font-size: 1.125rem;
}

.anchor {
  margin-left: 0.4rem;
  color: var(--ink-muted);
  opacity: 0;
  text-decoration: none;
  font-weight: 400;
}

h2:hover .anchor,
h3:hover .anchor,
.anchor:focus {
  opacity: 1;
}

p {
  margin: 0 0 1.15rem;
}

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

a:hover {
  text-decoration-thickness: 2px;
}

.ext {
  display: inline-block;
  margin-left: 0.15em;
  font-size: 0.8em;
  vertical-align: 0.1em;
}

strong {
  font-weight: 650;
  color: var(--ink);
}

ul,
ol {
  margin: 0 0 1.15rem;
  padding-left: 1.4rem;
}

li {
  margin: 0.35rem 0;
}

li::marker {
  color: var(--ink-muted);
}

hr {
  height: 1px;
  margin: 3rem 0;
  background: var(--border);
  border: 0;
}

blockquote {
  margin: 1.5rem 0;
  padding: 1rem 1.25rem;
  background: var(--surface);
  border: 1px solid var(--border);
  border-left: 3px solid var(--accent);
  border-radius: var(--radius);
}

blockquote > *:last-child {
  margin-bottom: 0;
}

blockquote h3 {
  margin-top: 0;
}

/* ---- code ----------------------------------------------------------------- */

code {
  padding: 0.13em 0.38em;
  background: var(--surface-2);
  border: 1px solid var(--border);
  border-radius: 5px;
  font-family: ui-monospace, SFMono-Regular, 'SF Mono', Menlo, Consolas, monospace;
  font-size: 0.875em;
  word-break: break-word;
}

.code-block {
  position: relative;
  margin: 1.5rem 0;
}

.code-lang {
  position: absolute;
  top: 0.5rem;
  right: 0.75rem;
  color: var(--ink-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.6875rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  pointer-events: none;
}

pre {
  margin: 0;
  padding: 1rem 1.15rem;
  overflow-x: auto;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  line-height: 1.6;
}

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

.tok-comment {
  color: var(--ink-muted);
  font-style: italic;
}
.tok-tag {
  color: var(--accent);
  font-weight: 600;
}
.tok-attr {
  color: #8a6d1f;
}
.tok-string {
  color: #6b4f8f;
}
.tok-kw {
  color: var(--accent);
  font-weight: 600;
}

:root[data-theme='dark'] .tok-attr,
:root[data-theme='auto'][data-system='dark'] .tok-attr {
  color: #d9c07a;
}

:root[data-theme='dark'] .tok-string,
:root[data-theme='auto'][data-system='dark'] .tok-string {
  color: #c3a9e0;
}

/* ---- tables --------------------------------------------------------------- */

.table-wrap {
  margin: 1.5rem 0;
  overflow-x: auto;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: var(--surface);
}

.table-wrap:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 0;
}

table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.9375rem;
}

th,
td {
  padding: 0.7rem 0.95rem;
  text-align: left;
  vertical-align: top;
  border-bottom: 1px solid var(--border);
}

th {
  background: var(--surface-2);
  font-weight: 650;
  white-space: nowrap;
}

tbody tr:last-child td {
  border-bottom: 0;
}

td code {
  white-space: nowrap;
}

/* ---- table of contents ---------------------------------------------------- */

.toc {
  position: sticky;
  top: var(--topbar-h);
  max-height: calc(100vh - var(--topbar-h));
  overflow-y: auto;
  padding: 2.75rem 0 3rem;
  font-size: 0.875rem;
}

.toc h2 {
  margin: 0 0 0.6rem;
  padding: 0;
  border: 0;
  font-size: 0.6875rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ink-muted);
}

.toc ul {
  list-style: none;
  margin: 0;
  padding: 0;
  border-left: 1px solid var(--border);
}

.toc li {
  margin: 0;
}

.toc a {
  display: block;
  padding: 0.28rem 0.75rem;
  margin-left: -1px;
  border-left: 2px solid transparent;
  color: var(--ink-muted);
  text-decoration: none;
  line-height: 1.45;
}

.toc a:hover {
  color: var(--ink);
}

.toc a.is-active {
  color: var(--accent);
  border-left-color: var(--accent);
  font-weight: 600;
}

/* ---- pager and footer ----------------------------------------------------- */

.pager {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  max-width: var(--measure);
  margin-top: 4rem;
  padding-top: 2rem;
  border-top: 1px solid var(--border);
}

.pager a {
  flex: 1 1 0;
  padding: 0.9rem 1.1rem;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  color: var(--ink);
  text-decoration: none;
}

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

.pager-next {
  text-align: right;
}

.pager span {
  display: block;
  color: var(--ink-muted);
  font-size: 0.75rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.pager strong {
  font-weight: 600;
}

.page-footer {
  max-width: var(--measure);
  margin-top: 3rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--border);
  color: var(--ink-muted);
  font-size: 0.875rem;
}

.page-footer p {
  margin: 0 0 0.4rem;
}

.footer-note {
  font-size: 0.8125rem;
}

/* ---- responsive ----------------------------------------------------------- */

@media (max-width: 1200px) {
  .shell {
    grid-template-columns: var(--sidebar-w) minmax(0, 1fr);
    gap: 2rem;
  }
  .toc {
    display: none;
  }
}

@media (max-width: 900px) {
  .menu-toggle {
    display: flex;
  }
  .shell {
    grid-template-columns: minmax(0, 1fr);
    padding: 0 1.25rem;
  }
  .sidebar {
    display: none;
    position: static;
    max-height: none;
    padding: 1rem 0;
    border-bottom: 1px solid var(--border);
  }
  .sidebar.is-open {
    display: block;
  }
  .search {
    width: auto;
    flex: 1 1 auto;
  }
  .content {
    padding: 2rem 0 4rem;
  }
}

@media (max-width: 560px) {
  body {
    font-size: 15.5px;
  }
  .topbar {
    padding: 0 0.85rem;
    gap: 0.6rem;
  }
  .brand span:not(.brand-sub) {
    font-size: 1rem;
  }
  .brand-sub {
    display: none;
  }
  .shell {
    padding: 0 0.9rem;
  }
  .pager {
    flex-direction: column;
  }
  .pager-next {
    text-align: left;
  }
  th,
  td {
    padding: 0.6rem 0.7rem;
  }
}

@media print {
  .topbar,
  .sidebar,
  .toc,
  .pager,
  .skip {
    display: none;
  }
  .shell {
    display: block;
    max-width: none;
  }
  body {
    background: #fff;
    color: #000;
  }
}