
:root { color-scheme: light dark; --fg: #1d1f23; --bg: #fbfbfa; --muted: #6b6e75; --line: #d9dade; --warn: #8a3b00; --warn-bg: #fff1e0; }
@media (prefers-color-scheme: dark) { :root { --fg: #e6e6e6; --bg: #17181b; --muted: #9a9ca3; --line: #33363c; --warn: #ffb46b; --warn-bg: #3a2a18; } }
* { box-sizing: border-box; }
[id] { scroll-margin-top: 5.5rem; }
body { margin: 0; font: 16px/1.5 system-ui, sans-serif; color: var(--fg); background: var(--bg); }
main { max-width: 56rem; margin: 0 auto; padding: 1.5rem; }
a:focus-visible, button:focus-visible, input:focus-visible, select:focus-visible, summary:focus-visible { outline: 3px solid var(--accent, currentColor); outline-offset: 3px; }
.skip-link { position: fixed; z-index: 100; top: 0.4rem; left: 0.4rem; padding: 0.45rem 0.7rem; background: var(--bg); border: 2px solid var(--fg); border-radius: 4px; transform: translateY(-180%); }
.skip-link:focus { transform: translateY(0); }
h1 { font-size: 1.6rem; margin: 0.5rem 0 0.25rem; }
h2 { font-size: 1.1rem; margin: 1.75rem 0 0.4rem; padding-bottom: 0.25rem; border-bottom: 1px solid var(--line); }
a { color: inherit; }
.muted, .ln, .crumbs, ol.decls > li > small { color: var(--muted); }
.ln, ol.decls > li > small { font-size: 0.8rem; margin-left: 0.4rem; }
.site-head { position: sticky; top: 0; z-index: 10; margin: -0.5rem 0 0.75rem; padding: 0.5rem 0 0.45rem; background: var(--bg); border-bottom: 1px solid var(--line); }
.site-head nav.top { margin-bottom: 0.15rem; }
.crumbs { font-size: 0.9rem; }
.crumbs a, .path-title a { text-underline-offset: 0.16em; }
.crumbs a:hover, .crumbs a:focus-visible, .path-title a:hover, .path-title a:focus-visible { color: var(--fg); text-decoration-thickness: 0.14em; }
.path-title { overflow-wrap: anywhere; }
.path-title a { color: inherit; }
dl.summary { display: grid; grid-template-columns: max-content 1fr; gap: 0.2rem 1rem; }
dl.summary dd { margin: 0; }
input[type="search"] { width: 100%; margin: 0.75rem 0; padding: 0.5rem 0.75rem; font: inherit; color: var(--fg); background: transparent; border: 1px solid var(--line); border-radius: 6px; }
.filter-status { min-height: 1.5em; margin: -0.45rem 0 0.6rem; font-size: 0.85rem; color: var(--muted); }
ol.decls, ul.list { list-style: none; padding: 0; }
ol.decls > li, ul.list > li { padding: 0.45rem 0; border-bottom: 1px solid var(--line); }
.kind, ol.decls > li > b:first-child { font-size: 0.75rem; text-transform: uppercase; letter-spacing: 0.05em; color: var(--muted); }
ol.decls > li > b:first-child { font-weight: normal; }
.flag { font-size: 0.75rem; padding: 0 0.4rem; border-radius: 4px; }
.flag.sorry { color: var(--warn); background: var(--warn-bg); }
.doc { margin: 0.3rem 0; overflow-wrap: anywhere; }
.doc.plain { white-space: pre-wrap; }
.doc > :first-child { margin-top: 0; }
.doc > :last-child { margin-bottom: 0; }
.doc p, .doc ul, .doc ol, .doc blockquote { margin: 0.35rem 0; }
.doc ul, .doc ol { padding-left: 1.4rem; }
.doc h3, .doc h4, .doc h5, .doc h6 { font-size: 1rem; margin: 0.7rem 0 0.25rem; }
.doc h3 { font-size: 1.08rem; }
.doc blockquote { margin-left: 0; padding-left: 0.7rem; border-left: 3px solid var(--line); color: var(--muted); }
.doc hr { border: 0; border-top: 1px solid var(--line); }
.source-doc { margin: 0.4rem 0; padding: 0.2rem 0 0.2rem 0.7rem; border-left: 3px solid var(--line); }
.source-doc > .layer-label { margin: 0 0 0.25rem; color: var(--muted); font-size: 0.72rem; font-weight: 700; letter-spacing: 0.06em; text-transform: uppercase; }
.source-doc > .doc { margin: 0; }
pre { overflow-x: auto; margin: 0.4rem 0; padding: 0.5rem 0.6rem; font-size: 0.85rem; background: rgba(127, 127, 127, 0.08); border-radius: 4px; }
[hidden] { display: none !important; }
.title { font-style: italic; }
.intuition { margin: 0.3rem 0; }
.steps { margin: 0.3rem 0; padding-left: 1.4rem; }
.refs { margin: 0.3rem 0; font-size: 0.9rem; }
.warn { color: var(--warn); font-size: 0.9rem; margin: 0.3rem 0; }
.src { font-size: 0.8rem; color: var(--muted); }
a.term { text-decoration: underline dotted; }
a.decl-link { text-decoration: none; }
a.decl-link::after { content: " #"; color: var(--muted); opacity: 0; }
a.decl-link:hover::after, a.decl-link:focus-visible::after { opacity: 1; }
nav.top { font-size: 0.9rem; margin-bottom: 0.5rem; color: var(--muted); }
.site-footer { max-width: 56rem; margin: 1rem auto 0; padding: 1rem 1.5rem 2rem; border-top: 1px solid var(--line); color: var(--muted); font-size: 0.88rem; }
nav.toc, p.letters { font-size: 0.9rem; color: var(--muted); }
dl.glossary { margin: 0.4rem 0; }
dl.glossary dt { font-weight: 600; margin-top: 0.6rem; }
dl.glossary dt .kind { font-weight: normal; margin-left: 0.3rem; }
dl.glossary dd { margin: 0 0 0.2rem 1rem; }
dl.glossary dd code { white-space: pre-wrap; }
details.imports, details.imported-by, section.imports { margin: 0.4rem 0; font-size: 0.9rem; }
details.imports > summary, details.imported-by > summary { cursor: pointer; color: var(--muted); }
details.imports ul.list, details.imported-by ul.list, section.imports ul.list { margin: 0.2rem 0 0.4rem; }
details.imports ul.list > li, details.imported-by ul.list > li, section.imports ul.list > li { padding: 0.15rem 0; }
@media (max-width: 42rem) {
  main { padding: 0.9rem; }
  .site-head { position: static; margin-top: 0; }
  .path-title { font-size: 1.18rem; }
  nav.top { line-height: 1.9; }
  .site-footer { padding: 0.9rem 0.9rem 1.5rem; }
}
:root { --fg: #1d1b16; --bg: #f6f1e7; --muted: #6e6656; --line: #d9d0bd; --warn: #8a3b00; --warn-bg: #f6dfc2; --accent: #7a4b12; --panel: rgba(60,40,10,0.06); }
@media (prefers-color-scheme: dark) { :root { --fg: #ece6d8; --bg: #16140f; --muted: #a39a86; --line: #38332a; --warn: #ffb46b; --warn-bg: #3a2a18; --accent: #e0b36a; --panel: rgba(255,240,210,0.06); } }
body { font-family: system-ui, sans-serif; }
h1, h2, .title { font-family: Georgia, 'Times New Roman', serif; }
pre, code { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; }
a { text-decoration-color: var(--accent); text-underline-offset: 0.18em; }
a:hover { color: var(--accent); }
pre { background: var(--panel); }
h2 { border-bottom-color: var(--accent); }
input[type="search"]:focus { outline: 2px solid var(--accent); outline-offset: 1px; }
.kind, ol.decls > li > b:first-child { color: var(--accent); }

h1 { font-size: 2.1rem; letter-spacing: 0.01em; }
ol.list { counter-reset: none; padding: 0; }
ol.list > li { list-style: none; background: var(--panel); border: 1px solid var(--line); border-left: 6px solid var(--card, var(--accent)); border-radius: 6px; padding: 0.8rem 1rem; margin-bottom: 0.8rem; }
.start { margin: 1rem 0 1.3rem; padding: 0.9rem 1rem; border: 1px solid var(--line); border-radius: 7px; background: var(--panel); }
.start h2 { margin-top: 0; }
.start ul { margin-bottom: 0; }
.card-actions { display: flex; flex-wrap: wrap; gap: 0.35rem 0.85rem; margin-top: 0.55rem; font-size: 0.92rem; }
.card-actions a { font-weight: 600; }

