pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}.hljs{color:#abb2bf;background:#282c34}.hljs-comment,.hljs-quote{color:#5c6370;font-style:italic}.hljs-doctag,.hljs-keyword,.hljs-formula{color:#c678dd}.hljs-section,.hljs-name,.hljs-selector-tag,.hljs-deletion,.hljs-subst{color:#e06c75}.hljs-literal{color:#56b6c2}.hljs-string,.hljs-regexp,.hljs-addition,.hljs-attribute,.hljs-meta .hljs-string{color:#98c379}.hljs-attr,.hljs-variable,.hljs-template-variable,.hljs-type,.hljs-selector-class,.hljs-selector-attr,.hljs-selector-pseudo,.hljs-number{color:#d19a66}.hljs-symbol,.hljs-bullet,.hljs-link,.hljs-meta,.hljs-selector-id,.hljs-title{color:#61aeee}.hljs-built_in,.hljs-title.class_,.hljs-class .hljs-title{color:#e6c07b}.hljs-emphasis{font-style:italic}.hljs-strong{font-weight:700}.hljs-link{text-decoration:underline}[data-theme=roseate]{--bg: #2c2833;--fg: #FFF0F5;--fg-dim: #6b5c70;--accent: #ff82cb;--accent-noun: #82AAFF;--accent-treatise: #a8e6cf;--selected-bg: #792548;--selected-fg: #FFF0F5;--code-bg: #221e2b;--diagram-fill: #5a4060}[data-theme=dark]{--bg: #0d0d0d;--fg: #c8c8c8;--fg-dim: #666;--accent: #5fafff;--accent-noun: #87af87;--accent-treatise: #e5c07b;--selected-bg: #c8c8c8;--selected-fg: #0d0d0d;--code-bg: #1a1a1a;--diagram-fill: #333}[data-theme=lavender]{--bg: #f5f0ff;--fg: #2d1f5e;--fg-dim: #9b8ab8;--accent: #7c4dce;--accent-noun: #c2185b;--accent-treatise: #00897b;--selected-bg: #7c4dce;--selected-fg: #f5f0ff;--code-bg: #ebe4f8;--diagram-fill: #cbbfef}[data-theme=dracula]{--bg: #282A36;--fg: #F8F8F2;--fg-dim: #6272A4;--accent: #FF79C6;--accent-noun: #8BE9FD;--accent-treatise: #FFB86C;--selected-bg: #44475A;--selected-fg: #F8F8F2;--code-bg: #21222C;--diagram-fill: #44475A}[data-theme=dark-plus]{--bg: #1E1E1E;--fg: #D4D4D4;--fg-dim: #808080;--accent: #569CD6;--accent-noun: #4EC9B0;--accent-treatise: #CE9178;--selected-bg: #264F78;--selected-fg: #FFFFFF;--code-bg: #252526;--diagram-fill: #3a3a3a}[data-theme=light-plus]{--bg: #FFFFFF;--fg: #000000;--fg-dim: #A0A0A0;--accent: #0451A5;--accent-noun: #267F99;--accent-treatise: #6F4E37;--selected-bg: #ADD6FF;--selected-fg: #000000;--code-bg: #F3F3F3;--diagram-fill: #ddd}[data-theme=github-light]{--bg: #FFFFFF;--fg: #24292E;--fg-dim: #6A737D;--accent: #D73A49;--accent-noun: #6F42C1;--accent-treatise: #005CC5;--selected-bg: #FED442;--selected-fg: #000000;--code-bg: #F6F8FA;--diagram-fill: #dde}:root{--font: "JetBrains Mono", "Fira Mono", "Cascadia Code", monospace}*{box-sizing:border-box;margin:0;padding:0}html,body{background:var(--bg);color:var(--fg);font-family:var(--font);font-size:14px;line-height:1.5;height:100%}#app{display:flex;flex-direction:column;height:100vh;max-width:900px;margin:0 auto;padding:1rem}.prompt-line{display:flex;align-items:center;border-bottom:1px solid var(--fg-dim);padding:.5rem 0;margin-bottom:.75rem;flex-shrink:0}.app-title{font-size:1.1rem;font-weight:700;color:var(--fg-dim);margin-bottom:.75rem;letter-spacing:.1em;text-transform:uppercase;cursor:pointer}.build-version{margin-left:.5em;font-size:.65rem;font-weight:400;opacity:.4;letter-spacing:.05em;vertical-align:middle;background:none!important;-webkit-background-clip:unset!important;-webkit-text-fill-color:initial!important;animation:none!important;cursor:default}@keyframes shimmer{0%{background-position:100% center}to{background-position:0% center}}.app-title:hover,.entry-row:hover .entry-title:not(.entry-title--flash),.entry-row:hover .noun-desc{background:linear-gradient(90deg,var(--fg-dim) 0%,var(--fg-dim) 38%,color-mix(in srgb,var(--accent) 55%,var(--fg-dim)) 46%,color-mix(in srgb,var(--accent-noun) 55%,var(--fg-dim)) 54%,var(--fg-dim) 62%,var(--fg-dim) 100%);background-size:300% 100%;-webkit-background-clip:text;background-clip:text;-webkit-text-fill-color:transparent;animation:shimmer 2.5s linear infinite}.prompt-sigil{color:var(--accent);margin-right:.5rem;user-select:none;font-size:16px}.prompt-input{background:transparent;border:none;outline:none;color:var(--fg);font-family:var(--font);font-size:16px;width:100%;caret-color:var(--accent);line-height:1.5}.prompt-input::placeholder{color:var(--fg-dim)}@keyframes rainbow-slide{to{background-position:200% center}}.prompt-line--semantic{border-bottom-color:transparent;background-image:linear-gradient(90deg,#ff5f6d,#ffc371,#3bd07a,#4facfe,#a36bff,#ff5f6d);background-size:200% 2px;background-position:0% bottom;background-repeat:no-repeat;animation:rainbow-slide 3s linear infinite}.prompt-line--semantic .prompt-sigil{background:linear-gradient(90deg,#ff5f6d,#ffc371,#3bd07a,#4facfe,#a36bff,#ff5f6d);background-size:200% auto;-webkit-background-clip:text;background-clip:text;-webkit-text-fill-color:transparent;animation:rainbow-slide 3s linear infinite}kbd.kbd--semantic{background:linear-gradient(90deg,#ff5f6d,#ffc371,#3bd07a,#4facfe,#a36bff,#ff5f6d);background-size:200% auto;border-color:transparent;color:var(--bg);animation:rainbow-slide 3s linear infinite}.result-list{overflow-y:auto;flex:1;padding-bottom:4rem}.no-results{color:var(--fg-dim);padding:.5rem 0}.entry-row{cursor:pointer;padding:.2rem 0;border-bottom:1px solid #1e1e1e}.entry-row.selected .entry-header{background:var(--selected-bg);color:var(--selected-fg)}.entry-header{display:flex;align-items:baseline;gap:.5rem;padding:.15rem .25rem}.cursor{color:var(--accent);width:1.5ch;flex-shrink:0}.entry-row.selected .cursor{color:var(--selected-fg)}.entry-title{font-weight:700}@keyframes flash-title-copy{0%{background:var(--accent);color:var(--bg)}to{background:transparent;color:inherit}}@keyframes flash-title-localpost{0%{background:var(--accent-noun);color:var(--bg)}to{background:transparent;color:inherit}}.entry-title--flash-copy{animation:flash-title-copy .4s ease-out}.entry-title--flash-localpost{animation:flash-title-localpost .4s ease-out}@keyframes flash-prompt{0%{color:var(--bg);caret-color:var(--bg);background:var(--accent)}to{color:var(--fg);caret-color:var(--accent);background:transparent}}.prompt-input--flash{animation:flash-prompt .4s ease-out}.entry-tags{display:flex;gap:.4rem;flex-wrap:wrap}.tag{color:var(--fg-dim);font-size:12px;cursor:pointer}.tag:hover{color:var(--accent)}.entry-row.selected .tag{color:var(--selected-fg)}.entry-row.selected .tag:hover{color:var(--accent)}.entry-body{padding:.5rem 1.75rem;border-left:2px solid var(--fg-dim);margin:.25rem 0 .25rem .75rem}.entry-desc{color:var(--fg);margin-bottom:.5rem}.entry-code{background:var(--code-bg);padding:.5rem .75rem;overflow-x:auto;font-size:13px;margin-bottom:.5rem;white-space:pre}.diagram{margin:1rem 0;text-align:center}.diagram .tikz-svg{max-width:100%;height:auto;color:var(--fg)}.diagram-missing{font-size:13px;font-style:italic;color:var(--muted, #888)}.entry-table{border-collapse:collapse;font-size:13px;margin-bottom:.5rem}.entry-table th,.entry-table td{padding:.2rem .75rem;text-align:left;border-bottom:1px solid #2a2a2a}.entry-table th{color:var(--accent);font-weight:700;border-bottom:1px solid var(--fg-dim)}.entry-see-also{color:var(--fg-dim);font-size:12px}.noun-desc{color:var(--fg-dim);font-size:12px;margin-left:1rem;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.statusbar{position:fixed;bottom:0;left:50%;transform:translate(-50%);width:100%;max-width:900px;background:var(--bg);display:flex;flex-wrap:wrap;gap:.5rem 1.5rem;border-top:1px solid var(--fg-dim);padding:.4rem 1rem;z-index:10}.shortcut{display:flex;align-items:center;gap:.35rem;cursor:pointer;user-select:none}kbd{background:var(--fg-dim);color:var(--bg);font-family:var(--font);font-size:11px;padding:.1rem .35rem;border-radius:2px}kbd.kbd--active{background:var(--accent)}.shortcut-label{color:var(--fg-dim);font-size:12px}.statusbar-mode{font-size:11px;font-weight:700;letter-spacing:.1em;margin-right:.5rem;cursor:pointer}.statusbar-mode--fact{color:var(--accent)}.statusbar-mode--noun{color:var(--accent-noun)}.statusbar-mode--treatise{color:var(--accent-treatise)}.treatise-viewer{overflow-y:auto;flex:1;padding:0 .5rem 4rem}.treatise-viewer .treatise-title{font-size:1.2rem;font-weight:700;margin:1rem 0 .5rem}.treatise-viewer .treatise-chapter{font-size:1.4rem;font-weight:700;color:var(--fg);text-transform:uppercase;letter-spacing:.08em;border-top:1px solid var(--fg-dim);padding-top:1rem;margin:2.25rem 0 .85rem}.treatise-viewer .treatise-section{font-size:1.05rem;font-weight:700;color:var(--accent);margin:1.25rem 0 .4rem}.treatise-viewer .treatise-subsection{font-size:1rem;font-weight:700;color:var(--accent-treatise);margin:1rem 0 .35rem}.treatise-viewer .treatise-toc .toc-chapter{margin-top:.4rem}.treatise-viewer .treatise-toc .toc-chapter>a{text-transform:uppercase;letter-spacing:.05em;font-weight:700;color:var(--fg)}.treatise-viewer details.treatise-toc{border:1px solid var(--fg-dim);border-radius:3px;background:var(--code-bg);padding:.5rem .85rem;margin:.75rem 0 1.5rem;font-size:13px}.treatise-viewer .treatise-toc>summary{font-weight:700;cursor:pointer;color:var(--accent);list-style:none}.treatise-viewer .treatise-toc>summary::-webkit-details-marker{display:none}.treatise-viewer .treatise-toc>summary:before{content:"\25b8  "}.treatise-viewer .treatise-toc[open]>summary{margin-bottom:.4rem}.treatise-viewer .treatise-toc[open]>summary:before{content:"\25be  "}.treatise-viewer .treatise-toc ul{margin:0 0 0 1rem;list-style:none}.treatise-viewer .treatise-toc>ul{margin-left:0}.treatise-viewer .treatise-toc li{margin-bottom:.1rem;line-height:1.45}.treatise-viewer .treatise-toc>ul>li{margin-top:.25rem}.treatise-viewer .treatise-toc>ul>li>a{font-weight:700}.treatise-viewer .treatise-toc ul ul a{color:var(--fg-dim)}.treatise-viewer .treatise-toc a{text-decoration:none}.treatise-viewer .treatise-toc a:hover{text-decoration:underline}.treatise-viewer .treatise-toc .toc-num{color:var(--fg-dim);margin-right:.3rem}.treatise-viewer figure.treatise-diagram{margin:1rem 0;text-align:center;max-width:240px}.treatise-viewer figure.treatise-diagram svg{width:100%;height:auto;color:var(--fg)}.treatise-viewer p{margin-bottom:.75rem;line-height:1.6}.treatise-viewer ul,.treatise-viewer ol{margin:.25rem 0 .75rem 1.5rem}.treatise-viewer li{margin-bottom:.25rem;line-height:1.6}.treatise-viewer code{background:var(--code-bg);padding:.1rem .3rem;font-size:13px}.treatise-viewer blockquote{border-left:2px solid var(--fg-dim);padding-left:1rem;color:var(--fg-dim);margin:.5rem 0 .75rem}.treatise-viewer hr{border:none;border-top:1px solid var(--fg-dim);margin:1rem 0}.treatise-viewer .admonition{--admonition-accent: var(--fg-dim);border-left:3px solid var(--admonition-accent);background:color-mix(in srgb,var(--admonition-accent) 11%,var(--bg));border-radius:3px;padding:.5rem .75rem;margin:.75rem 0}.treatise-viewer .admonition-title{font-weight:700;color:var(--admonition-accent);margin-bottom:.3rem}.treatise-viewer .admonition-label:before{content:"\25c6";margin-right:.4rem}.treatise-viewer .admonition-name{color:var(--fg);font-weight:400}.treatise-viewer .admonition-name:before{content:" \2014  ";color:var(--fg-dim)}.treatise-viewer .admonition-body>:last-child{margin-bottom:0}.treatise-viewer details.admonition>summary.admonition-title{cursor:pointer;list-style:none;display:flex;align-items:baseline;margin-bottom:0}.treatise-viewer details.admonition[open]>summary.admonition-title{margin-bottom:.3rem}.treatise-viewer details.admonition>summary::-webkit-details-marker{display:none}.treatise-viewer details.admonition>summary:after{content:"\25b8";margin-left:auto;color:var(--admonition-accent)}.treatise-viewer details.admonition[open]>summary:after{content:"\25be"}.treatise-viewer .admonition--note,.treatise-viewer .admonition--info{--admonition-accent: var(--accent-noun)}.treatise-viewer .admonition--note .admonition-label:before,.treatise-viewer .admonition--info .admonition-label:before{content:"\24d8"}.treatise-viewer .admonition--tip,.treatise-viewer .admonition--success{--admonition-accent: var(--accent-treatise)}.treatise-viewer .admonition--tip .admonition-label:before{content:"\2726"}.treatise-viewer .admonition--success .admonition-label:before{content:"\2713"}.treatise-viewer .admonition--warning,.treatise-viewer .admonition--caution{--admonition-accent: #e5c07b}.treatise-viewer .admonition--warning .admonition-label:before,.treatise-viewer .admonition--caution .admonition-label:before{content:"\26a0\fe0e"}.treatise-viewer .admonition--danger,.treatise-viewer .admonition--error{--admonition-accent: #ff6b6b}.treatise-viewer .admonition--danger .admonition-label:before,.treatise-viewer .admonition--error .admonition-label:before{content:"\2298"}.treatise-viewer .admonition--example{--admonition-accent: var(--accent)}.treatise-viewer .admonition--example .admonition-label:before{content:"\2261"}.treatise-viewer .admonition--aside,.treatise-viewer .admonition--abstract{--admonition-accent: var(--fg-dim)}.treatise-viewer .admonition--aside .admonition-label:before,.treatise-viewer .admonition--abstract .admonition-label:before{content:"\275d"}.treatise-viewer .admonition--notation,.treatise-viewer .admonition--conventions{--admonition-accent: #56b6c2}.treatise-viewer .admonition--notation .admonition-label:before,.treatise-viewer .admonition--conventions .admonition-label:before{content:"\225d"}.treatise-viewer .admonition--todo{--admonition-accent: #c678dd}.treatise-viewer .admonition--todo .admonition-label:before{content:"\2610"}.treatise-viewer .tag{font-size:11px;color:var(--fg-dim);margin-left:.4rem}.treatise-viewer a{color:var(--accent);text-decoration:none}.treatise-viewer a:hover{text-decoration:underline}.treatise-viewer a.wikilink{color:var(--accent-treatise)}.treatise-viewer a.wikilink:before{content:"[[";color:var(--fg-dim)}.treatise-viewer a.wikilink:after{content:"]]";color:var(--fg-dim)}.treatise-viewer .heading-link{color:inherit;text-decoration:none}.treatise-viewer .heading-link:hover{text-decoration:underline}.treatise-viewer .heading-link:before{content:"#";margin-right:.35rem;color:var(--fg-dim);opacity:0}.treatise-viewer h1:hover .heading-link:before,.treatise-viewer h2:hover .heading-link:before,.treatise-viewer h3:hover .heading-link:before{opacity:1}.palette-backdrop{position:fixed;inset:0;background:#0009;z-index:100;display:flex;justify-content:center;align-items:flex-start;padding-top:8vh}.palette{background:var(--bg);border:1px solid var(--fg-dim);width:min(600px,90vw);max-height:60vh;display:flex;flex-direction:column;overflow:hidden}.palette-prompt{display:flex;align-items:center;border-bottom:1px solid var(--fg-dim);padding:.5rem .75rem;flex-shrink:0}.palette-sigil{color:var(--accent);margin-right:.5rem;font-size:16px;user-select:none}.palette-input{background:transparent;border:none;outline:none;color:var(--fg);font-family:var(--font);font-size:16px;width:100%;caret-color:var(--accent)}.palette-input::placeholder{color:var(--fg-dim)}.palette-results{overflow-y:auto}.palette-result{display:flex;align-items:baseline;gap:.75rem;padding:.35rem .75rem;cursor:pointer;border-bottom:1px solid #1e1e1e}.palette-result:hover,.palette-result.selected{background:var(--selected-bg);color:var(--selected-fg)}.palette-result-title{font-weight:700;flex-shrink:0}.palette-result-tags{display:flex;gap:.4rem;flex-wrap:wrap}.palette-tag{color:var(--fg-dim);font-size:12px}.palette-result.selected .palette-tag{color:var(--selected-fg)}.palette-no-results{color:var(--fg-dim);padding:.5rem .75rem}.palette-cmd-sigil{color:var(--accent);flex-shrink:0;width:1.2ch}