@font-face{font-family:Bundled Georgia;src:url(/fonts/georgia.ttf) format("truetype");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Bundled Georgia;src:url(/fonts/georgiai.ttf) format("truetype");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Bundled Georgia;src:url(/fonts/georgiab.ttf) format("truetype");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Bundled Georgia;src:url(/fonts/georgiaz.ttf) format("truetype");font-weight:700;font-style:italic;font-display:swap}:root{--font-serif: "Bundled Georgia", Georgia, "Times New Roman", serif;--font-sans: "Bundled Georgia", Georgia, "Times New Roman", serif;--accent: #6f9690;--link: #006622;--link-hover: #004d18;--muted: #888;--soft: #bbb;--text: #111}*,*:before,*:after{box-sizing:border-box}html{font-size:16px;scrollbar-gutter:stable}body{margin:0;background:#fff;color:var(--text);font-family:var(--font-serif);font-variant-numeric:lining-nums;font-feature-settings:"lnum" 1,"onum" 0;line-height:1.62}a,a:visited{color:var(--link);text-decoration:underline;text-underline-offset:.12em;text-decoration-thickness:.04em}a:hover{color:var(--link-hover)}.page-wrapper{max-width:656px;margin:0 auto;padding:0 28px 48px}.site-header{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:10px 0 8px}.site-mark,.site-mark:visited{flex:0 0 auto;color:var(--muted);font-family:var(--font-sans);font-size:14px;text-decoration:none}.site-mark:hover{color:var(--link)}.site-mark-home,.site-mark-home:hover{color:var(--muted)}.content{min-width:0}.page-title{margin:4px 0 22px;color:var(--text);font-family:var(--font-serif);font-size:33px;font-weight:400;line-height:1.1}.content-body{font-size:15px;line-height:1.62}p{margin:0 0 10px;text-wrap:pretty;overflow-wrap:normal}ol,ul{margin:6px 0 10px;padding-left:1.4em}li{margin:2px 0;text-wrap:pretty;overflow-wrap:normal}ol.slippy-enumerate{padding-left:2.2em}ol.slippy-enumerate>li::marker{font-variant-numeric:lining-nums;font-feature-settings:"lnum" 1,"onum" 0}ol.slippy-enumerate-roman>li::marker{content:"(" counter(list-item,lower-roman) ") "}ol.slippy-enumerate-alpha>li::marker{content:"(" counter(list-item,lower-alpha) ") "}ol.slippy-enumerate-decimal>li::marker{content:"(" counter(list-item,decimal) ") "}h2{margin:18px 0 6px;color:var(--text);font-family:var(--font-serif);font-size:17px;font-weight:700;line-height:1.35}h2:first-child{margin-top:0}h3{margin:14px 0 6px;color:var(--text);font-family:var(--font-serif);font-size:15px;font-weight:700;line-height:1.35}.heading-anchor{display:none}.slip{margin:10px 0}.env-line{margin-bottom:0}.env-heading{font-weight:700;color:var(--text);text-decoration:none}.env-title{font-style:normal;font-weight:400}.slip-ref,.slip-ref:visited{color:var(--link)}.slip-body-italic{font-style:normal}.slip-body-is-italic>:not(.env-line){font-style:normal}.slip-body-is-italic ol.slippy-enumerate>li::marker{font-style:normal}.proof-block{margin:10px 0}.proof-heading{font-style:italic}.qed{display:inline-block;width:8px;height:8px;margin-left:4px;margin-bottom:1px;background:#111;vertical-align:middle}.proof-block .slippy-qed-target{display:flow-root}.proof-block .slippy-qed-target>.qed{float:right;margin-top:.7em;margin-left:8px;margin-bottom:0}.proof-block mjx-container.slippy-qed-target{position:relative;box-sizing:border-box;display:block;width:100%;padding-right:18px}.proof-block mjx-container.slippy-qed-target>.qed{position:absolute;right:0;top:50%;bottom:auto;margin:0;transform:translateY(-50%)}.relations{margin-top:18px;font-size:14px;color:#999}.relations p{margin:0}.relations .relation-label{color:#999}.relations a{overflow-wrap:anywhere}.typst-figure{margin:16px 0;text-align:center}.typst-figure img{max-width:100%;height:auto}.typst-error{overflow-x:auto;color:#8a0000;font-size:13px}@media(max-width:820px){.page-wrapper{padding:0 20px 48px}}@media(max-width:520px){.page-wrapper{padding:0 16px 48px}.page-title{font-size:24px}}.slippy-graph{--graph-current: #284b63;--graph-definition: #9a9a9a;--graph-result: #6f9690;--graph-example: #b6aaa0;--graph-edge: #b8b8b8;--graph-label: #111111;--graph-font: var(--font-serif);--graph-edge-alpha: .28;--graph-edge-active-alpha: .72;--graph-edge-muted-alpha: .14;--graph-node-muted-alpha: .2;--graph-label-muted-alpha: .12}.slippy-graph{--graph-ink: #111;--graph-muted: #888;position:relative;width:100%;margin:18px 0;font-family:var(--font-serif);color:var(--graph-ink)}.slippy-graph.is-loading,.slippy-graph.is-error{min-height:250px;display:grid;place-items:center;color:var(--graph-muted);font-size:13px}.slippy-graph-viewport{position:relative;height:var(--slippy-graph-height, 260px);overflow:hidden;border:0;border-radius:0;background:transparent}.slippy-graph[data-mode=global] .slippy-graph-viewport{height:var(--slippy-graph-height, 420px)}.slippy-graph-canvas{display:block;width:100%;height:100%;cursor:grab}.slippy-graph-canvas:active{cursor:grabbing}@media(max-width:620px){.slippy-graph-viewport{height:var(--slippy-graph-height, 230px)}}.slippy-search{--slippy-search-height: 25.2px ;position:relative;flex:0 0 170px;width:min(100%,170px);height:var(--slippy-search-height);font-family:var(--font-serif)}.slippy-search-input{width:100%;height:var(--slippy-search-height);border:1px solid #bbb;border-radius:0;padding:2px 6px 3px;background:#fff;color:#111;font:inherit;font-size:13px;line-height:1.4;outline:none}.slippy-search-input::-webkit-search-cancel-button,.slippy-search-input::-webkit-search-decoration{appearance:none;-webkit-appearance:none;display:none}.slippy-search-input::-ms-clear{display:none;width:0;height:0}.slippy-search-input::placeholder{color:#bbb}.slippy-search-input:focus{border-color:#888}.slippy-search-results{position:absolute;z-index:20;top:calc(100% + 8px);right:0;width:100%;padding:2px 0;border:1px solid #e6e6e6;background:#fff;box-shadow:0 8px 22px #00000012}.slippy-search-result,.slippy-search-result:visited{display:block;padding:2px 6px 3px;color:#111;text-decoration:none}.slippy-search-result:hover,.slippy-search-result.is-active{background:#f7f7f7;color:#062}.slippy-search-result:hover .slippy-search-title,.slippy-search-result.is-active .slippy-search-title{color:#062}.slippy-search-title{display:block;color:#111;font-size:13px;line-height:1.35;white-space:normal;overflow-wrap:anywhere}@media(max-width:520px){.slippy-search{flex-basis:170px;width:100%}.slippy-search-results{left:0;right:auto;width:100%}}