html[data-theme=light]{--body-bg: #eee;--body-text: #111;--sidebar-bg: #ddd;--sidebar-text: #222;--topbar-bg: #ccc;--link: #371;--link-hover: #6a4;--admonish-bg: #ddd}html,html[data-theme=dark]{--body-bg: #111;--body-text: #bbb;--sidebar-bg: #222;--sidebar-text: #aaa;--topbar-bg: #333;--link: #9b7;--link-hover: #bf8;--admonish-bg: #222}body{margin:0;background-color:var(--body-bg);color:var(--body-text);font-family:"Arial",sans-serif;color-scheme:light dark}body a{color:var(--link);text-decoration:inherit}body a:hover{color:var(--link-hover)}body.leftbar #leftbar{left:0}body.leftbar #main-area{margin-left:15rem}body.rightbar #rightbar{right:0}body.rightbar #main-area{margin-right:15rem}header{background-color:var(--topbar-bg);position:fixed;top:0;left:0;width:100vw;height:3rem;z-index:1}header>div{height:100%;margin:0 1rem;align-items:center;display:flex;column-gap:.5rem}header>div>#olivine-breadcrumb{margin-right:auto;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}header>div .olivine-icon{font-size:120%}header #search{width:15em}header #search>input{width:100%;padding:.5em 1em;font-size:90%;color:var(--sidebar-text);background-color:var(--header-bg);border:1px solid var(--sidebar-text);border-radius:1em}header #search>div{position:absolute;width:inherit;background:var(--sidebar-bg)}header #search>div>p{margin:1em .5em}#main-area{margin-top:3rem;padding:0 2em;display:flex;transition:margin .3s}.sidebar{background-color:var(--sidebar-bg);color:var(--sidebar-text);line-height:1.5;overflow-y:auto;position:fixed;height:calc(100vh - 3rem);top:3rem}#leftbar{width:15rem;left:-15rem;transition:left .3s}#rightbar{width:15rem;right:-15rem;transition:right .3s;font-size:90%}#rightbar li{margin:.5em}.sidebar-content{margin:.5rem 1rem;display:flex;flex-direction:column}.sidebar-content ul{padding-inline-start:0;margin:0;list-style-type:none}.sidebar-content ul ul{padding-inline-start:1em}.sidebar-content li{margin:.5em}.sidebar-content a{color:inherit;display:block}.sidebar-content #olivine-directory.hidden li.hidden{display:none}.olivine-icon{display:inline-block;text-align:center;width:1.3em}main{line-height:1.7;width:100%;max-width:50rem;margin:0 auto;margin-bottom:3rem}main h1{font-size:200%;margin:1em 0}main h2{font-size:150%;margin-top:1.5em}main h3{font-size:130%}main h4{font-size:110%}main h1,main h2,main h3,main h4{scroll-margin-top:3rem}main table{margin:1em auto;border-spacing:1.5em 0}main p>code{background-color:var(--sidebar-bg);padding:.2em .3em}main pre{padding:.5em;white-space:pre-wrap}main pre code[data-lang]::before{content:"[ " attr(data-lang) " ]";display:block;padding:.5em;text-transform:uppercase}main pre table{margin:0;border-spacing:0;width:100%}main pre table td:first-child{width:2.5em}main pre table tr:has(mark){background-color:rgba(110,180,80,.15)}main pre table mark{background-color:inherit !important;color:inherit}main .MathJax{padding-top:.1em;overflow-x:auto;overflow-y:hidden}main svg{display:block;margin:1em auto}main .olivine-admonish{margin:1em 0;padding:0 1em;background-color:var(--admonish-bg);border:1px solid var(--admonish-bg);border-radius:1em}main span.olivine-tag{font-size:.9em;display:inline-block;border-radius:.3em;padding:0 .5em;background-color:color-mix(in srgb, var(--link), var(--body-bg) 90%)}main>span.olivine-tag{margin:.4rem}main details.proof{margin:1em 0}main details.proof summary{cursor:pointer}main details.proof p:last-child:after{content:"☐";float:right}main li:has(>input:first-child:checked){text-decoration:line-through;color:color-mix(in srgb, var(--body-text), var(--body-bg) 50%)}main blockquote{margin-left:0em;padding-left:1em;border-left:.1em solid color-mix(in srgb, var(--body-text), var(--body-bg) 30%);color:color-mix(in srgb, var(--body-text), var(--body-bg) 30%)}main .footnote-definition p{margin-top:0}html[data-theme=dark] main svg{filter:invert(1)}#help-window{display:flex;justify-content:center;position:fixed;top:0;left:0;height:100%;width:100%;backdrop-filter:blur(1rem);z-index:2}#help-window>div{margin:auto;padding:3rem;width:50rem;border:3px solid var(--link);border-radius:1rem;background-color:var(--body-bg)}#help-window #help-shortcuts{margin:2rem 0;display:grid;grid-auto-flow:column;grid-template-rows:auto auto auto auto auto auto;row-gap:1rem;column-gap:1rem}#help-window #help-shortcuts code{font-size:120%;border:1px solid var(--body-text);border-radius:3px;padding:.2em;margin-right:.5em}span.goelems{display:block;position:fixed;z-index:100;font:1rem monospace;color:#000;background-color:#ae7;border:2px solid #000}@media print{body{background-color:#fff;color:#000}.sidebar,header{display:none}#main-area{margin:0}}