@font-face { font-family: "Inter"; src: url("fonts/Inter-wght.woff2") format("woff2"); font-weight: 100 900; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("fonts/JetBrainsMono-Regular.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("fonts/JetBrainsMono-SemiBold.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Source Serif 4"; src: url("fonts/SourceSerif4-wght.woff2") format("woff2"); font-weight: 200 900; font-style: normal; font-display: swap; }
@font-face { font-family: "Source Serif 4"; src: url("fonts/SourceSerif4-wght-italic.woff2") format("woff2"); font-weight: 200 900; font-style: italic; font-display: swap; }
:root[data-look="family"], :root[data-look="family"][data-mode="light"] { color-scheme: light; --bg: #ffffff; --side: #f6f7f9; --line: #dfe3e8; --ink: #1c2129; --soft: #3b4350; --dim: #5f6875; --selected: #e9e9fb; --keyword: #5e61d3; --binder: #8a5a00; --link: #5e61d3; --pass: #1f7a4d; --warn: #9a5b00; --radius: 7px; --body: Inter, "JetBrains Mono", system-ui, sans-serif; --title: Inter, "JetBrains Mono", system-ui, sans-serif; --title-size: 19px; --title-weight: 650; }
:root[data-look="family"][data-mode="dark"] { color-scheme: dark; --bg: #0f1419; --side: #161c23; --line: #2a3340; --ink: #e8ebf0; --soft: #c3c9d3; --dim: #8d97a5; --selected: #21224a; --keyword: #9b9ef0; --binder: #e5c07b; --link: #9b9ef0; --pass: #7fd8a6; --warn: #e5a84b; --radius: 7px; --body: Inter, "JetBrains Mono", system-ui, sans-serif; --title: Inter, "JetBrains Mono", system-ui, sans-serif; --title-size: 19px; --title-weight: 650; }
@media (prefers-color-scheme: dark) {
  :root[data-look="family"]:not([data-mode]) { color-scheme: dark; --bg: #0f1419; --side: #161c23; --line: #2a3340; --ink: #e8ebf0; --soft: #c3c9d3; --dim: #8d97a5; --selected: #21224a; --keyword: #9b9ef0; --binder: #e5c07b; --link: #9b9ef0; --pass: #7fd8a6; --warn: #e5a84b; --radius: 7px; --body: Inter, "JetBrains Mono", system-ui, sans-serif; --title: Inter, "JetBrains Mono", system-ui, sans-serif; --title-size: 19px; --title-weight: 650; }
}
@media (prefers-color-scheme: dark) {
  :root[data-look="family"][data-mode="system"] { color-scheme: dark; --bg: #0f1419; --side: #161c23; --line: #2a3340; --ink: #e8ebf0; --soft: #c3c9d3; --dim: #8d97a5; --selected: #21224a; --keyword: #9b9ef0; --binder: #e5c07b; --link: #9b9ef0; --pass: #7fd8a6; --warn: #e5a84b; --radius: 7px; --body: Inter, "JetBrains Mono", system-ui, sans-serif; --title: Inter, "JetBrains Mono", system-ui, sans-serif; --title-size: 19px; --title-weight: 650; }
}
:root[data-look="journal"], :root[data-look="journal"][data-mode="light"] { color-scheme: light; --bg: #fbf9f4; --side: #f3efe6; --line: #ddd6c8; --ink: #23201b; --soft: #3d3931; --dim: #726a5c; --selected: #e8e1d2; --keyword: #7c2d3f; --binder: #4f6a3a; --link: #27508f; --pass: #2f6b47; --warn: #8a5413; --radius: 3px; --body: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title-size: 22px; --title-weight: 500; }
:root[data-look="journal"][data-mode="dark"] { color-scheme: dark; --bg: #1c1915; --side: #25211b; --line: #3b352b; --ink: #ece5d8; --soft: #d6cebf; --dim: #a79d8c; --selected: #3a3226; --keyword: #e3a6b1; --binder: #b4c996; --link: #9fbce8; --pass: #8fcda6; --warn: #e3b062; --radius: 3px; --body: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title-size: 22px; --title-weight: 500; }
@media (prefers-color-scheme: dark) {
  :root[data-look="journal"]:not([data-mode]) { color-scheme: dark; --bg: #1c1915; --side: #25211b; --line: #3b352b; --ink: #ece5d8; --soft: #d6cebf; --dim: #a79d8c; --selected: #3a3226; --keyword: #e3a6b1; --binder: #b4c996; --link: #9fbce8; --pass: #8fcda6; --warn: #e3b062; --radius: 3px; --body: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title-size: 22px; --title-weight: 500; }
}
@media (prefers-color-scheme: dark) {
  :root[data-look="journal"][data-mode="system"] { color-scheme: dark; --bg: #1c1915; --side: #25211b; --line: #3b352b; --ink: #ece5d8; --soft: #d6cebf; --dim: #a79d8c; --selected: #3a3226; --keyword: #e3a6b1; --binder: #b4c996; --link: #9fbce8; --pass: #8fcda6; --warn: #e3b062; --radius: 3px; --body: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title: "Source Serif 4", Georgia, "Iowan Old Style", "JetBrains Mono", serif; --title-size: 22px; --title-weight: 500; }
}
*, *::before, *::after { box-sizing: border-box; }
html { background: var(--bg); color: var(--ink); font-family: var(--body); -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--bg); }
a { color: var(--link); }
[data-island] { display: contents; }
.shell { display: grid; grid-template-columns: minmax(11rem, min(14vw, 15rem)) minmax(0, 1fr) minmax(11rem, min(14vw, 15rem)); min-height: 100vh; }
.center { min-width: 0; padding: 0 2.25rem 6rem; }
.topbar { display: flex; flex-wrap: wrap; align-items: center; gap: 0.75rem; max-width: 60rem; margin: 0 auto; padding: 1.1rem 0 0.25rem; }
.crumb { flex: 1; margin: 0; font: 12px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); }
.page { max-width: 60rem; margin: 0 auto; }
.pane { position: sticky; top: 0; height: 100vh; overflow-y: auto; padding: 14px 12px 2rem; scrollbar-width: thin; font-family: Inter, "JetBrains Mono", system-ui, sans-serif; }
.pane-left { background: var(--side); border-right: 1px solid var(--line); }
.pane-right { border-left: 1px solid var(--line); }
.brand { display: flex; flex-direction: column; gap: 2px; margin: 0 7px 12px; }
.brand .site { font: 600 14px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--ink); text-decoration: none; }
.brand .home { font: 11.5px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); text-decoration: none; }
.pane-label { font: 600 10px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; letter-spacing: 0.09em; text-transform: uppercase; color: var(--dim); margin: 14px 7px 6px; }
.pane-group { font: 600 11.5px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--soft); margin: 12px 7px 2px; }
.pane-item { display: flex; justify-content: space-between; gap: 0.5rem; font: 12.5px/1.8 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); padding: 0 7px; border-radius: 5px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; text-decoration: none; }
.pane-item:hover { color: var(--ink); background: var(--selected); }
.pane-item.on { background: var(--selected); color: var(--ink); font-weight: 600; }
.count { font-size: 11px; font-weight: 400; font-variant-numeric: tabular-nums; }
.outline-heading { display: block; color: var(--soft); font-weight: 600; margin-top: 8px; }
.outline-heading.depth-3, .outline-heading.depth-4 { font-weight: 500; margin-top: 4px; }
.outline-documented, .outline-quiet { display: block; font: 11.5px/1.85 "JetBrains Mono", Consolas, monospace; }
.outline-documented { color: var(--soft); }
.drawer { display: none; margin: 0.5rem 0; padding: 0.25rem 0.75rem; background: var(--side); border: 1px solid var(--line); border-radius: var(--radius); font-family: Inter, "JetBrains Mono", system-ui, sans-serif; }
.drawer > summary { font: 600 13px/2 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--soft); cursor: pointer; }
.pane-left, .pane-right { display: flex; flex-direction: column; }
.pane-left > *, .pane-right > * { flex: none; }
.pane-foot { position: sticky; bottom: -2rem; margin: auto -12px -2rem; padding: 8px 12px; background: var(--side); border-top: 1px solid var(--line); }
.drawer-foot { margin: 0.5rem 0; }
.settings-trigger { appearance: none; display: block; width: 100%; min-height: 24px; border: 0; border-radius: 5px; background: transparent; color: var(--soft); font: 12.5px/1.8 Inter, "JetBrains Mono", system-ui, sans-serif; text-align: start; padding: 0 7px; cursor: pointer; }
.settings-trigger:hover { color: var(--ink); background: var(--selected); }
.pinned { display: none; }
.lists-head { padding: 0 0 6px 8px; border-left: 3px solid var(--link); margin-bottom: 8px; font: 600 12.5px/1.4 "JetBrains Mono", Consolas, monospace; color: var(--ink); overflow-wrap: anywhere; }
.lists-head small { display: block; font: 600 10px/1.6 Inter, "JetBrains Mono", system-ui, sans-serif; letter-spacing: 0.09em; text-transform: uppercase; color: var(--dim); }
.lists-empty { margin: 0; padding-left: 8px; font: 12px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); }
.lists-empty:empty { display: none; }
@media (min-width: 901px) {
  :root[data-lists="pane"] .pane-right .pinned { display: block; position: sticky; bottom: -2rem; margin: auto -12px -2rem; padding: 10px 12px 12px; background: var(--bg); border-top: 1px solid var(--line); max-height: 46vh; overflow-y: auto; overscroll-behavior: contain; box-shadow: 0 -8px 14px -10px rgba(0, 0, 0, 0.25); }
  :root[data-lists="pane"] .current-decl > .panel { box-shadow: inset 3px 0 0 var(--link); }
}
.page-title { font-family: var(--title); font-weight: var(--title-weight); font-size: 1.65rem; line-height: 1.25; margin: 0.25rem 0 1.25rem; overflow-wrap: anywhere; }
.page h1:not(.page-title), .page h2, .page h3, .page h4 { font-family: var(--title); font-weight: var(--title-weight); line-height: 1.3; color: var(--ink); scroll-margin-top: calc(5vh - 4px); }
.page h1:not(.page-title) { font-size: 1.4rem; margin: 2.5rem 0 0.75rem; }
.page h2 { font-size: 1.2rem; margin: 2.75rem 0 0.75rem; padding-bottom: 0.35rem; border-bottom: 1px solid var(--line); }
.page h3 { font-size: 1.05rem; margin: 2rem 0 0.5rem; }
.page h4 { font-size: 1rem; margin: 1.25rem 0 0.25rem; }
.doc, .prose, .entry { max-width: 46rem; font-size: 0.92rem; line-height: 1.6; color: var(--soft); overflow-wrap: anywhere; }
.doc p, .prose p, .entry p { margin: 0 0 0.75rem; }
.doc ul, .doc ol, .prose ul, .prose ol, .entry ul, .entry ol { margin: 0 0 0.75rem; padding-left: 1.4rem; }
.doc table, .prose table, .entry table { display: block; max-width: 100%; overflow-x: auto; margin: 0 0 0.75rem; border-collapse: collapse; }
.doc th, .doc td, .prose th, .prose td, .entry th, .entry td { padding: 0.3rem 0.75rem; border: 1px solid var(--line); text-align: left; }
.doc code, .prose code, .entry p code, .entry li code, .entry td code, .entry th code, .decl-title code { font: 0.9em "JetBrains Mono", Consolas, monospace; color: var(--link); }
.doc a code, .prose a code, .entry a code { border-bottom: 1px dotted var(--link); }
.doc a.ref, .prose a.ref, .entry a.ref { text-decoration: none; }
.decl-title { font-family: var(--title); font-size: var(--title-size); font-weight: var(--title-weight); line-height: 1.3; color: var(--ink); margin: 0 0 0.4rem !important; }
.prose { margin: 1rem 0; }
.page pre { font: 12.5px/1.65 "JetBrains Mono", Consolas, monospace; background: var(--side); border: 1px solid var(--line); border-radius: var(--radius); padding: 10px 12px; margin: 0 0 8px; white-space: pre-wrap; overflow-wrap: anywhere; color: var(--ink); }
pre code { font: inherit; color: inherit; }
.nb { white-space: nowrap; }
.l { display: block; --hang: min(calc((var(--i, 0) + 4) * 1ch), 30vw); padding-left: var(--hang); text-indent: calc(-1 * var(--hang)); }
.kw { color: var(--keyword); font-weight: 600; }
.comment { color: var(--dim); }
[data-ref^="b"] { color: var(--binder); }
pre a[data-ref] { color: var(--link); text-decoration: none; border-bottom: 1px dotted var(--link); }
pre a[data-ref]:hover { border-bottom-style: solid; }
.decl { margin: 1.9rem 0; scroll-margin-top: calc(5vh - 4px); }
.decl.quiet { margin: 0.2rem 0; }
.page pre.command { background: transparent; border: 0; padding: 3px 0; margin: 0; font-size: 12px; color: var(--soft); }
.panel { background: var(--side); border: 1px solid var(--line); border-radius: var(--radius); margin: 0 0 8px; position: relative; }
.page .panel pre { background: transparent; border: 0; border-radius: 0; margin: 0; }
.decl:target > .panel { border-color: var(--link); }
details.proof > summary, details.refs > summary, details.more > summary, details.imports > summary { font: 12px/1.8 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); cursor: pointer; list-style: none; user-select: none; }
details.proof > summary::-webkit-details-marker, details.refs > summary::-webkit-details-marker, details.body > summary::-webkit-details-marker, details.imports > summary::-webkit-details-marker { display: none; }
details.proof > summary::before { content: "▸ Proof · "; }
details.proof[open]:not([data-closing]) > summary::before { content: "▾ Proof · "; }
details.refs > summary::before { content: "▸ "; }
details.refs[open]:not([data-closing]) > summary::before { content: "▾ "; }
details.proof.warning > summary { color: var(--warn); }
.panel > details.proof { border-top: 1px solid var(--line); }
.panel > details > summary { padding: 2px 12px; }
.panel > details > summary:hover { color: var(--ink); }
details.imports { margin: 0.5rem 0 1rem; }
details.imports > summary::before { content: "▸ Imports · "; }
details.imports[open]:not([data-closing]) > summary::before { content: "▾ Imports · "; }
details.body > summary { display: flex; padding: 0; cursor: pointer; list-style: none; }
details.body { margin-bottom: 10px; }
details.body > summary > pre { flex: 1; min-width: 0; }
.page .panel details.body > summary > pre { padding-bottom: 0; }
details.body > summary::before { content: "▸"; order: 1; flex: none; padding: 10px 12px 0 0; font: 12px/20px Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); }
details.body[open]:not([data-closing]) > summary::before { content: "▾"; }
details.body > summary:hover::before { color: var(--ink); }
details.body > summary::after { content: attr(data-lines); flex: none; padding: 10px 6px 0 0; font: 11px/20px Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); }
details.body[open]:not([data-closing]) > summary:not(:hover)::after { visibility: hidden; }
.page .panel details.body > pre { padding-top: 0; padding-bottom: 0; }
.warning-text { font-weight: 600; margin-left: 0.35rem; }
.decl.quiet details.proof, .decl.quiet details.refs { margin-left: 0; }
:root:not([data-lists]) .panel:has(+ details.refs) { margin-bottom: 2px; }
:root:not([data-lists]) .decl.quiet:has(> details.refs) { margin-bottom: 1.1rem; }
@media (max-width: 900px) {
  :root .panel:has(+ details.refs) { margin-bottom: 2px; }
  :root .decl.quiet:has(> details.refs) { margin-bottom: 1.1rem; }
}
.ref-list { margin: 0.25rem 0 0.5rem; }
.ref-list > p { font: 600 10px/1.8 Inter, "JetBrains Mono", system-ui, sans-serif; letter-spacing: 0.09em; text-transform: uppercase; color: var(--dim); margin: 0; }
.ref-list ul { display: flex; flex-wrap: wrap; gap: 0 0.9rem; list-style: none; margin: 0; padding: 0; font: 11.5px/1.7 "JetBrains Mono", Consolas, monospace; color: var(--soft); }
.ref-list a { text-decoration: none; }
.args { margin: -0.35rem 0 0.9rem; font: 13px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--soft); }
.args-label { margin: 0 0 4px; font: 600 10px/1.6 Inter, "JetBrains Mono", system-ui, sans-serif; letter-spacing: 0.09em; text-transform: uppercase; color: var(--dim); }
.args-rows { display: grid; grid-template-columns: max-content minmax(0, 1fr); column-gap: 12px; }
.args-row { display: contents; }
.args-sig { padding: 1px 0; max-width: 30rem; overflow-wrap: anywhere; }
.args-text { padding: 1px 0; min-width: 0; overflow-wrap: anywhere; }
.args-text code { font: 0.9em "JetBrains Mono", Consolas, monospace; color: var(--link); }
.args-text a { text-decoration: none; }
.args-text a code { border-bottom: 1px dotted var(--link); }
.args-row:hover > * { background: color-mix(in srgb, var(--binder) 10%, transparent); }
.args-name { font: 600 12px/1.6 "JetBrains Mono", Consolas, monospace; color: var(--binder); }
.args-type { display: none; font: 400 12px/1.6 "JetBrains Mono", Consolas, monospace; color: var(--dim); }
:root[data-args="types"] .args-type, :root[data-args="panel"] .args-type { display: inline; }
.args-type a { color: inherit; text-decoration: underline dotted; text-underline-offset: 3px; }
:root[data-args="types"] .args-rows, :root[data-args="panel"] .args-rows { grid-template-columns: minmax(0, max-content) minmax(0, 1fr); column-gap: 18px; }
.panel > .args { display: none; }
:root[data-args="panel"] .decl > .args { display: none; }
:root[data-args="panel"] .panel > .args { display: block; margin: 0; padding: 8px 12px 10px; border-top: 1px solid var(--line); }
.arg-hot { background: color-mix(in srgb, var(--binder) 24%, transparent); border-radius: 2px; outline: 1px solid color-mix(in srgb, var(--binder) 45%, transparent); }
@media (max-width: 600px) {
  .args-rows, .args-row { display: block; }
  .args-row { padding: 3px 0; }
  .args-sig { display: inline; margin-right: 8px; padding: 0; }
  .args-text { display: inline; padding: 0; }
  :root[data-args="types"] .args-sig, :root[data-args="panel"] .args-sig, :root[data-args="types"] .args-text, :root[data-args="panel"] .args-text { display: block; }
}
.badge { display: inline-block; font: 11px/1.6 Inter, "JetBrains Mono", system-ui, sans-serif; border: 1px solid; border-radius: 10px; padding: 0 9px; margin: 0 0 8px; }
.badge.pass { color: var(--pass); border-color: color-mix(in srgb, var(--pass) 40%, transparent); background: color-mix(in srgb, var(--pass) 10%, transparent); }
.badge.axioms { color: var(--warn); border-color: color-mix(in srgb, var(--warn) 40%, transparent); background: color-mix(in srgb, var(--warn) 10%, transparent); }
.group-open > h2, .group-falsified > h2 { color: var(--warn); }
.group > h3 { font: 600 12px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; color: var(--dim); margin: 1.75rem 0 0.6rem; }
.entry { border: 1px solid var(--line); border-radius: var(--radius); padding: 0.8rem 1rem 0.3rem; margin: 0 0 0.6rem; }
.entry .badge { margin: 0.1rem 0 0.5rem; }
.entry h4 { margin: 0 0 0.3rem !important; font-size: 1.02rem !important; }
.entry h4 a { color: var(--ink); text-decoration: none; }
.entry h4 a:hover { color: var(--link); }
.settings { width: 21rem; max-width: calc(100vw - 1rem); padding: 0; overflow: auto; background: var(--bg); color: var(--ink); border: 1px solid var(--line); border-radius: 8px; box-shadow: 0 10px 30px rgba(0, 0, 0, 0.2); font: 13px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; }
.settings[data-surface="popover"] { position: fixed; z-index: 50; inset: auto auto 3rem 0.5rem; margin: 0; max-height: calc(100vh - 4rem); }
.settings[data-surface="panel"] { position: fixed; inset-block: 0; inset-inline: auto 0; margin: 0; width: min(22rem, 90vw); height: 100dvh; max-height: none; border-width: 0; border-inline-start-width: 1px; border-radius: 0; }
.settings[data-surface="panel"] .settings-body { min-height: 100%; box-sizing: border-box; }
.settings[data-surface="panel"]::backdrop { background: rgba(0, 0, 0, 0.15); }
.settings[data-surface="dialog"] { margin: auto; width: min(26rem, calc(100vw - 2rem)); max-width: none; max-height: calc(100vh - 2rem); }
.settings[data-surface="dialog"]::backdrop { background: rgba(0, 0, 0, 0.4); }
.settings-body { padding: 14px 16px; }
.settings-head { display: flex; justify-content: space-between; align-items: center; margin-bottom: 10px; }
.settings-head h2 { margin: 0; font: 600 14px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; }
.settings-close { appearance: none; border: 0; background: transparent; color: var(--dim); font: 13px/1 Inter, "JetBrains Mono", system-ui, sans-serif; min-width: 24px; min-height: 24px; cursor: pointer; }
.settings-close:hover { color: var(--ink); }
.setting-label { margin: 0 0 4px; font: 600 12px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; }
.setting-lines { width: 4.5em; min-height: 24px; margin-left: 8px; padding: 1px 4px; background: transparent; color: inherit; border: 1px solid var(--line); border-radius: 4px; font: 12px/1.4 Inter, "JetBrains Mono", system-ui, sans-serif; vertical-align: top; }
.settings-reset { appearance: none; min-height: 24px; margin-top: 2px; padding: 0; border: 0; background: transparent; color: var(--link); font: 12px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; cursor: pointer; }
.settings-reset:hover { text-decoration: underline; }
.settings-note { margin: 6px 0 0; color: var(--dim); font: 11px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; }
.switch { display: flex; flex-direction: column; gap: 12px; margin-bottom: 12px; font: 12px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; }
.switch-group { display: inline-flex; max-width: 100%; border: 1px solid var(--line); border-radius: var(--radius); overflow: hidden; }
.switch button { appearance: none; border: 0; background: transparent; color: var(--dim); font: inherit; padding: 2px 8px; min-height: 24px; cursor: pointer; }
.switch button:hover { color: var(--ink); }
.switch button[aria-pressed="true"] { background: var(--link); color: var(--bg); font-weight: 600; }
:root:not([data-client="ready"]) [data-settings-open], :root:not([data-client="ready"]) .search-trigger { visibility: hidden; }
.pane-item.in-view { color: var(--ink); background: var(--selected); }
.xref:not(:empty) { margin-top: 0.6rem; }
.refs-chip { display: none; appearance: none; position: absolute; right: 6rem; top: -8px; z-index: 2; height: 16px; padding: 0 6px; font: 10px/14px Inter, "JetBrains Mono", system-ui, sans-serif; white-space: nowrap; background: var(--side); border: 1px solid var(--line); border-radius: 8px; color: var(--dim); cursor: pointer; }
.refs-chip::after { content: ""; position: absolute; inset: -4px 0; }
.refs-chip:hover, .refs-chip:focus-visible { color: var(--ink); border-color: var(--link); }
.chip-dialog { position: absolute; z-index: 30; width: min(24rem, calc(100vw - 12px)); max-height: min(50vh, 24rem); overflow: auto; padding: 10px 12px; background: var(--bg); color: var(--ink); border: 1px solid var(--line); border-radius: var(--radius); box-shadow: 0 10px 30px rgba(0, 0, 0, 0.2); font: 12px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; }
@media (min-width: 901px) {
  :root[data-lists] .decl details.refs { display: none; }
  :root[data-lists="badges"] .refs-chip { display: inline-block; }
  :root[data-lists="badges"] .decl { margin: 2.4rem 0; }
  :root[data-lists="badges"] .decl.quiet { margin: 1rem 0; }
  :root[data-lists] .setting-references-open { display: none; }
}
@media (max-width: 900px) {
  .setting-references { display: none; }
}
.card { position: absolute; z-index: 40; box-sizing: border-box; width: min(22rem, calc(100vw - 12px)); max-height: min(60vh, 24rem); overflow: auto; padding: 10px 12px; background: var(--bg); color: var(--ink); border: 1px solid var(--line); border-radius: var(--radius); box-shadow: 0 12px 30px #0005; font: 13px/1.5 var(--body); overflow-wrap: anywhere; }
.card [hidden] { display: none; }
.card p { margin: 0; }
.card-head { display: flex; flex-wrap: wrap; gap: 0.25rem 0.5rem; align-items: baseline; }
.card-name { font-weight: 600; color: var(--ink); }
.card-name[href] { color: var(--link); }
.card .badge { margin: 0; }
.card-signature { margin: 0.375rem 0 0; padding: 0; font: 11.5px/1.5 "JetBrains Mono", Consolas, monospace; white-space: pre-wrap; color: var(--binder); }
.card-doc { margin-top: 0.375rem; color: var(--soft); }
.card-doc > :first-child { margin-top: 0; }
.card-doc > :last-child { margin-bottom: 0; }
.card-quiet { margin-top: 0.375rem !important; color: var(--dim); font-style: italic; }
.card-meta { margin-top: 0.375rem !important; color: var(--dim); font: 11px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; }
.search-trigger { appearance: none; display: inline-flex; gap: 0.6rem; align-items: center; border: 1px solid var(--line); border-radius: var(--radius); background: transparent; color: var(--dim); font: 11.5px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; padding: 2px 8px; cursor: pointer; }
.search-trigger:hover { color: var(--ink); }
.search-hint { font: inherit; opacity: 0.8; }
.search-dialog { width: min(40rem, calc(100vw - 2rem)); max-height: min(32rem, calc(100vh - 6rem)); margin: 4rem auto auto; padding: 0; border: 1px solid var(--line); border-radius: var(--radius); background: var(--bg); color: var(--ink); overflow: hidden; }
.search-dialog[open] { display: flex; flex-direction: column; }
.search-dialog::backdrop { background: rgba(0, 0, 0, 0.4); }
.search-input { appearance: none; border: 0; border-bottom: 1px solid var(--line); background: transparent; color: var(--ink); font: 15px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; padding: 0.8rem 1rem; outline: none; }
.search-input:focus-visible { box-shadow: inset 0 -2px 0 var(--link); }
.search-message { margin: 0; padding: 0.5rem 1rem; color: var(--dim); font: 12px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; }
.search-message:empty { display: none; }
.search-list { list-style: none; margin: 0; padding: 0; overflow: auto; }
.search-list li { margin: 0; padding: 0; }
.search-list .hit { display: grid; grid-template-columns: 1fr auto; gap: 0 1rem; padding: 0.45rem 1rem; color: var(--ink); text-decoration: none; }
.search-list li[aria-selected="true"] .hit { background: var(--selected); }
.hit-name { font-weight: 600; overflow-wrap: anywhere; }
.hit-kind, .hit-module { color: var(--dim); font: 11.5px/1.6 Inter, "JetBrains Mono", system-ui, sans-serif; }
.hit-kind { grid-column: 2; grid-row: 1; text-align: right; }
.hit-module { grid-column: 1; }
.hit-summary { grid-column: 1 / -1; color: var(--soft); font: 12px/1.5 Inter, "JetBrains Mono", system-ui, sans-serif; }
.hit-summary:empty { display: none; }
@keyframes rocq-settle {
  from { box-shadow: 0 0 0 3px color-mix(in srgb, var(--link) 35%, transparent); }
  to { box-shadow: 0 0 0 3px transparent; }
}
@keyframes rocq-card-in {
  from { opacity: 0; translate: 0 3px; }
  to { opacity: 1; translate: 0 0; }
}
.decl:target > .panel { animation: rocq-settle 700ms ease-out; }
.card:not([hidden]) { animation: rocq-card-in 120ms ease-out; }
@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { animation: none !important; transition: none !important; }
}
@media (max-width: 900px) {
  .shell { display: block; }
  .pane { display: none; }
  .drawer { display: block; max-width: 60rem; margin-left: auto; margin-right: auto; }
  .drawer .brand { margin: 0.25rem 7px 0.5rem; }
  .center { padding: 0 1rem 3rem; }
  .pane-item { line-height: 2.1; }
}