@font-face{font-family:"STIX Two Text";src:url("fonts/STIXTwoText-Regular.woff2") format("woff2");font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:"STIX Two Text";src:url("fonts/STIXTwoText-Bold.woff2") format("woff2");font-weight:700;font-style:normal;font-display:swap}
@font-face{font-family:"STIX Two Text";src:url("fonts/STIXTwoText-Italic.woff2") format("woff2");font-weight:400;font-style:italic;font-display:swap}
@font-face{font-family:"STIX Two Text";src:url("fonts/STIXTwoText-BoldItalic.woff2") format("woff2");font-weight:700;font-style:italic;font-display:swap}
@font-face{font-family:"STIX Two Math";src:url("fonts/STIXTwoMath-Regular.woff2") format("woff2");font-weight:400;font-style:normal;font-display:swap}
:root{--paper:#f9f8f2;--ink:#292e28;--link:#35624c;--sub:#73796d;--rule:#d3d6c7;--hover:#f0f0e6;--width:1000px}
*{box-sizing:border-box}
html{scroll-behavior:auto}
body{margin:0;background:var(--paper);color:var(--ink);font:17px/1.65 "STIX Two Text",Georgia,"Times New Roman",serif}
math{font-family:"STIX Two Math","Cambria Math","STIX Two Text",serif}
a{color:var(--link);text-decoration:underline;text-underline-offset:2px;text-decoration-thickness:1px}
a:hover{color:#193e2d}
a:focus-visible,input:focus-visible,button:focus-visible{outline:2px solid #a37a39;outline-offset:3px}
button,input{font:inherit}
.site{max-width:var(--width);margin:0 auto;padding:30px 28px 80px}
.site-head{border-bottom:1px solid #c7cbbd;padding:0 0 19px;display:flex;gap:35px;align-items:baseline;justify-content:space-between}
.site-head .name{font-size:22px;line-height:1.2;font-weight:400;margin:0 0 7px}
.site-head .description{font-size:15px;color:#565c51;max-width:630px;margin:0}
.site-head .quiet{font:12px/1.5 "DejaVu Sans Mono","Liberation Mono",monospace;color:#898c7e;white-space:nowrap}
.shell{display:grid;grid-template-columns:184px minmax(0,1fr);gap:44px;margin-top:28px;align-items:start}
.sidebar{font:13px/1.75 "DejaVu Sans Mono","Liberation Mono",monospace;color:var(--sub);position:sticky;top:24px}
.nav-group{margin-bottom:25px}
.nav-group .nav-title{color:#7d8475;margin:0 0 7px;font-size:12px}
.nav-group a{display:block;width:fit-content;max-width:100%;padding:1px 0;margin:2px 0;color:#54695b;text-decoration:none}
.nav-group a:hover{text-decoration:underline}
.nav-group a[aria-current="page"]{color:var(--ink);font-weight:bold}
.nav-group a[aria-current="page"]::before{content:"· ";margin-left:-13px;color:#686f63}
.sidebar .aside-note{border-top:1px solid var(--rule);padding-top:13px;font:12px/1.8 "DejaVu Sans Mono","Liberation Mono",monospace;color:#81867b}
.content{min-width:0;max-width:740px}
.page{display:none}
.page.active{display:block}
h1,h2,h3{font-weight:400;line-height:1.32}
h1{font-size:23px;margin:0 0 15px}
h2{font-size:19px;margin:28px 0 11px}
h3{font-size:17px;margin:0 0 4px}
p{margin:9px 0 13px}
small,.small{font-size:13px}
.muted{color:var(--sub)}
.lead{margin:0 0 16px;max-width:675px}
.breadcrumb{font:12px/1.4 "DejaVu Sans Mono","Liberation Mono",monospace;color:var(--sub);margin-bottom:16px}
.breadcrumb a{color:#788777;text-decoration:none}
.separated{border-top:1px solid var(--rule)}
.entry{border-top:1px solid var(--rule);padding:11px 0 14px}
.entry .meta{color:#777f72;font:12px/1.7 Arial,Helvetica,sans-serif;margin:0 0 4px}
.entry p{margin:3px 0 0}
.entry .minor{color:#647063;font-size:14px}
.entry-title{font-size:17px;font-weight:normal;margin:0 0 3px}
.media{margin:24px 0;max-width:100%}
.media img{display:block;max-width:100%;height:auto;border:1px solid var(--rule);background:#fff}
.media figcaption{margin-top:7px;color:var(--sub);font-size:13px;line-height:1.5}
.diagram{border:1px solid var(--rule);background:#fffef9;padding:12px}
.diagram .mermaid{margin:0;overflow:auto;background:transparent;border:0;padding:0;text-align:center}
.diagram .mermaid svg{max-width:100%;height:auto}
.content pre:not(.mermaid){overflow:auto;margin:18px 0;padding:13px 15px;border:1px solid var(--rule);background:#f1f2ea;font:13px/1.55 "DejaVu Sans Mono","Liberation Mono",monospace}
.content code{font-family:"DejaVu Sans Mono","Liberation Mono",monospace}
.statement{margin:22px 0;padding:13px 16px 14px;border-left:3px solid #869d89;background:#f4f5ed}
.statement-title{margin:0 0 7px;font-size:15px;font-weight:bold;color:#3f5545}
.statement p:last-child{margin-bottom:0}
.statement.theorem,.statement.lemma{border-left-color:#6f9075}
.statement.definition{border-left-color:#6b879d;background:#f2f5f5}
.statement.example{border-left-color:#a37a39;background:#f9f5eb}
.statement.remark{border-left-color:#989b8b;background:#f5f5ef}
.statement.proof{border-left-color:#878c7e;background:transparent;padding-top:5px;padding-bottom:5px}
.index-list{list-style:none;margin:0 0 8px;padding:0}
.index-list li{padding:6px 0;border-bottom:1px dotted #d4d7c9}
.index-list li:last-child{border-bottom:0}
.index-list .group-description{font-size:14px;color:#6d756b;margin-left:7px}
.topic-list{display:flex;flex-wrap:wrap;gap:6px 16px;margin:8px 0 19px;font-size:14px}
.topic-list a{white-space:nowrap}
.inline-nav{display:flex;flex-wrap:wrap;column-gap:18px;row-gap:6px;margin:8px 0 24px;font:13px/1.7 "DejaVu Sans Mono","Liberation Mono",monospace}
.repo{border-top:1px solid var(--rule);padding:15px 0 17px}
.repo-heading{display:flex;flex-wrap:wrap;gap:6px 15px;align-items:baseline}
.repo-heading h3{font-size:17px;margin:0}
.repo .repo-path{font:12px/1.6 "DejaVu Sans Mono","Liberation Mono",monospace;color:#818579}
.repo .desc{font-size:15px;margin:6px 0 3px;max-width:650px}
.repo .repo-links{font:12px/1.6 "DejaVu Sans Mono","Liberation Mono",monospace;color:#6e7467;margin:6px 0 0}
.repo .repo-links a{margin-right:14px}
.empty-slot{padding:13px 0;color:#81877b;font-size:14px;border-top:1px dashed var(--rule)}
.note-date{font:12px/1.7 "DejaVu Sans Mono","Liberation Mono",monospace;color:var(--sub);margin:0 0 14px}
blockquote{margin:18px 0;padding:0 0 0 16px;border-left:2px solid #ced4c4;color:#596358}
footer{margin:55px 0 0;border-top:1px solid var(--rule);padding-top:13px;font:12px/1.7 "DejaVu Sans Mono","Liberation Mono",monospace;color:#878c7e}
footer a{color:#637c69}
.searchline{font:13px/1.55 "DejaVu Sans Mono","Liberation Mono",monospace;color:#697466;display:flex;align-items:center;gap:10px;max-width:500px;margin:10px 0 17px}
.searchline label{white-space:nowrap}
.searchline input{background:transparent;border:0;border-bottom:1px solid #aab4a4;border-radius:0;min-width:0;flex:1;padding:3px 1px;color:var(--ink);outline-offset:2px}
.searchline input::placeholder{color:#90978b}
[data-note][hidden],.repo[hidden],.entry[hidden],.index-list li[hidden]{display:none!important}
.no-results{font-size:13px;color:#797f74;display:none}
.site-guide{border-top:1px dotted var(--rule);margin-top:30px;padding-top:11px;color:#848a7c;font:12px/1.75 Arial,Helvetica,sans-serif}
@media(max-width:720px){.site{padding:19px 18px 55px}.shell{grid-template-columns:1fr;gap:16px;margin-top:20px}.sidebar{position:static;border-bottom:1px solid var(--rule);padding-bottom:8px;display:flex;flex-wrap:wrap;gap:8px 23px}.nav-group{margin-bottom:4px}.nav-group a{display:inline-block;margin-right:13px;margin-bottom:5px}.nav-group a[aria-current="page"]::before{content:"";margin:0}.nav-group .nav-title{margin-bottom:4px}.sidebar .aside-note{display:none}.site-head{padding-bottom:14px}.site-head .quiet{display:none}.site-head .name{font-size:21px}.site-head .description{font-size:14px}.content{max-width:none}h1{font-size:22px}h2{font-size:18px}.repo-heading{display:block}.repo .repo-path{display:block;margin-top:2px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media print{body{background:white}.site{max-width:100%;padding:0}.sidebar{display:none}.shell{display:block}.page:not(.active){display:none}a{color:#111}.site-guide{display:none}}