@import url("https://fonts.googleapis.com/css2?family=Lora:ital,wght@0,400;0,700;1,400;1,700&family=Open+Sans:ital,wght@0,300;0,400;0,600;0,700;0,800;1,300;1,400;1,600;1,700;1,800&family=Source+Code+Pro:wght@500&display=swap");/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */html{line-height:1.15;-webkit-text-size-adjust:100%;}body{margin:0}main{display:block}h1{font-size:2em;margin:.67em 0}hr{box-sizing:content-box;height:0;overflow:visible;}pre{font-family:monospace,monospace;font-size:1em;}a{background-color:rgba(0,0,0,0)}abbr[title]{border-bottom:none;text-decoration:underline;text-decoration:underline dotted;}b,strong{font-weight:bolder}code,kbd,samp{font-family:monospace,monospace;font-size:1em;}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}img{border-style:none}button,input,optgroup,select,textarea{font-family:inherit;font-size:100%;line-height:1.15;margin:0;}button,input{overflow:visible}button,select{text-transform:none}button,[type=button],[type=reset],[type=submit]{-webkit-appearance:button}button::-moz-focus-inner,[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner{border-style:none;padding:0}button:-moz-focusring,[type=button]:-moz-focusring,[type=reset]:-moz-focusring,[type=submit]:-moz-focusring{outline:1px dotted ButtonText}fieldset{padding:.35em .75em .625em}legend{box-sizing:border-box;color:inherit;display:table;max-width:100%;padding:0;white-space:normal;}progress{vertical-align:baseline}textarea{overflow:auto}[type=checkbox],[type=radio]{box-sizing:border-box;padding:0;}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px;}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit;}details{display:block}summary{display:list-item}template{display:none}[hidden]{display:none}:root{--background: #ffffff;--foreground: #212529;--soft-foreground: #868e96;--back-green: #eeffee;--back-blue: #eef8ff;--back-yellow: #ffffee;--back-gray: #f8f8f8;--tok-comment: #6e7781;--tok-keyword: #a61e4d;--tok-string: #2f9e44;--tok-number: #ad6800;--tok-func: #3b5bdb;--tok-var: #b35400;--tok-attr: #5c48a0;--tok-op: #495057;--tok-punc: #495057}@media (prefers-color-scheme: dark){:root{--background: #141210;--foreground: #d7d2c5;--soft-foreground: #9a948c;--back-gray: #1b1916;--back-green: #18271f;--back-blue: #17252c;--back-yellow: #262012;--tok-comment: #9a948c;--tok-keyword: #e65c4f;--tok-string: #a6c36b;--tok-number: #d6a74f;--tok-func: #87b3b8;--tok-var: #d7a866;--tok-attr: #c59bd8;--tok-op: #c8c3b8;--tok-punc: #c8c3b8}}.katex{font-size:1.16em !important}html{scroll-behavior:smooth}body{font-size:14pt;background-color:var(--background);color:var(--foreground);line-height:1.7;hyphens:auto;text-rendering:optimizeLegibility;text-wrap:pretty;font-family:"Open Sans","Helvetica Neue",Helvetica,Arial,sans-serif}article{font-family:"Lora","Times New Roman",serif}pre,code{font-family:"Source Code Pro",monospace}p{text-wrap:pretty;margin:1em 0}p a{text-decoration:underline;text-decoration-thickness:1pt}h1,h2,h3,h4,h5,h6{text-wrap:balance;font-weight:700;font-family:"Open Sans","Helvetica Neue",Helvetica,Arial,sans-serif}.z-code .z-comment{color:var(--tok-comment);font-style:italic}.z-code .z-keyword,.z-code .z-storage{color:var(--tok-keyword)}.z-code .z-string,.z-code .z-char{color:var(--tok-string)}.z-code .z-number,.z-code .z-constant,.z-code .z-boolean{color:var(--tok-number)}.z-code .z-function,.z-code .z-method{color:var(--tok-func)}.z-code .z-variable{color:var(--tok-var)}.z-code .z-attribute,.z-code .z-attr-name,.z-code .z-property{color:var(--tok-attr)}.z-code .z-operator{color:var(--tok-op)}.z-code .z-punctuation{color:var(--tok-punc)}body{display:grid;gap:2rem}body>header{grid-area:header}body>nav{display:none}body>article{grid-area:main;display:grid}body>article>main{grid-area:main}body>article>main :first-child{margin-top:0}body>article>aside{grid-area:aside}body>article>aside>nav :first-child{margin-top:0}body>article>footer{grid-area:footer}body>footer{grid-area:footer}@media (min-width: 0){body{grid-template-columns:auto;grid-template-rows:10rem auto auto auto;grid-template-areas:"header" " main " "footer"}body>article{grid-template-columns:1fr;grid-template-rows:auto auto;grid-template-areas:"main  " "aside " "footer"}}@media (min-width: 44rem){body>article{grid-template-columns:1fr 44rem 1fr;grid-template-rows:auto auto;grid-template-areas:".  main  ." ".  aside ." ". footer ."}body>article>aside>nav{position:sticky;top:12rem}}@media (min-width: 64rem){body>article{grid-template-columns:18rem 2rem 44rem 1fr;grid-template-rows:auto auto;grid-template-areas:"aside .  main  ." ".     . footer ."}body>article>aside>nav{position:sticky;top:12rem}}@media (min-width: 82rem){body>article{display:grid;grid-template-columns:1fr 18rem 2rem 44rem 18rem 1fr;grid-template-rows:auto auto;grid-template-areas:". aside .  main  ." ".   .   . footer ."}}body>header{display:flex;align-items:center;justify-content:center;width:100%;box-shadow:rgba(33,35,38,.1) 0px 10px 10px -10px}body>header a{display:flex;align-items:center;justify-content:center;width:40rem;color:var(--foreground);text-decoration:none}body>header img.profile{float:left;height:7rem;width:7rem;margin:1.5rem}body>header nav.search{float:right}footer .copyright{font-size:78.6%;text-align:center;color:var(--soft-foreground)}article a{color:var(--foreground)}article header p.metadata{font-style:italic;color:var(--soft-foreground)}article img{display:block;margin:auto;max-width:100%}article blockquote{min-width:100%;margin-left:calc(-.5em - 1pt);padding-left:.5em;border-left:1pt solid var(--foreground)}article blockquote :first-child{margin-top:0}article blockquote :last-child{margin-bottom:0}article pre{min-width:100%;padding:.75em;margin-left:-.75em;margin-right:-.75em;margin-bottom:1em;border-radius:.5em;font-size:78%;width:48em;background-color:var(--back-gray)}article pre :first-child{margin-top:0}article pre :last-child{margin-bottom:0}article div.lemma{min-width:100%;padding:.75em;margin-left:-.75em;margin-right:-.75em;margin-bottom:1em;border-radius:.5em;background-color:var(--back-green)}article div.lemma :first-child{margin-top:0}article div.lemma :last-child{margin-bottom:0}article div.definition{min-width:100%;padding:.75em;margin-left:-.75em;margin-right:-.75em;margin-bottom:1em;border-radius:.5em;background-color:var(--back-blue)}article div.definition :first-child{margin-top:0}article div.definition :last-child{margin-bottom:0}article div.example{min-width:100%;padding:.75em;margin-left:-.75em;margin-right:-.75em;margin-bottom:1em;border-radius:.5em;background-color:var(--back-yellow)}article div.example :first-child{margin-top:0}article div.example :last-child{margin-bottom:0}article div.proof{min-width:100%;padding:.75em;margin-left:-.75em;margin-right:-.75em;margin-bottom:1em;border-radius:.5em;background-color:var(--back-gray);position:relative}article div.proof :first-child{margin-top:0}article div.proof :last-child{margin-bottom:0}article div.proof:after{content:"□";position:absolute;bottom:.75em;right:.75em}article nav{font-size:78%;font-family:"Open Sans","Helvetica Neue",Helvetica,Arial,sans-serif;padding-top:5em;color:var(--soft-foreground)}article nav ul{list-style:none;padding:0}article nav ul a{display:block;padding:.2em 1.5em}article nav ul ul a{padding-left:3em}article nav ul ul a ul a{padding-left:4.5em}article nav ul a{border-left:solid .1em;border-color:var(--foreground)}article nav ul li.active>a{border-width:.2em;padding-left:1.4em}article nav ul ul li.active>a{padding-left:2.9em}article nav ul ul li.active>a ul li.active>a{padding-left:4.4em}article nav ul a{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;text-decoration:none}article nav ul a:hover{text-decoration:underline}main.index{margin:2rem}main.index nav{column-count:auto;column-width:20rem}main.index nav ul{list-style:none;margin:0;padding:0}main.index nav ul li{padding:0;margin:0}main.index nav ul li>a{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;display:block;color:var(--foreground);text-decoration:none}main.index nav ul li>a:hover{text-decoration:underline}main.index nav ul li p{font-size:78%;margin:0}main.index nav>ul>li{margin:1rem 0}