@charset "UTF-8";@font-face{font-family:lora-fallback;src:local("serif");size-adjust:98%;ascent-override:105%;descent-override:35%}@font-face{font-family:lora-fallback;src:local("Times New Roman"),local("Times"),local("serif");size-adjust:95%;ascent-override:90%;descent-override:25%;line-gap-override:30%}@font-face{font-family:lora;font-style:normal;font-weight:500;src:url(/fonts/Lora-Medium.woff2)format("woff2");font-display:swap}@font-face{font-family:inconsolata;font-style:normal;font-weight:400;src:url(/fonts/Inconsolata-Regular.woff2)format("woff2");font-display:swap}@font-face{font-family:stix two math;font-style:normal;font-weight:400;src:url(/fonts/STIXTwoMath-Regular.woff2)format("woff2");font-display:swap}@font-face{font-family:cormorantgaramond;font-style:normal;font-weight:600;src:url(/fonts/CormorantGaramond-Medium.woff2)format("woff2");font-display:swap}@font-face{font-family:cormorantgaramond;font-style:normal;font-weight:700;src:url(/fonts/CormorantGaramond-Bold.woff2)format("woff2");font-display:swap}@font-face{font-family:cormorantgaramond;font-style:italic;font-weight:700;src:url(/fonts/CormorantGaramond-MediumItalic.woff2)format("woff2");font-display:swap}.isa_info{color:#00529b;background-color:#bde5f8;width:90%;margin:10px 0;padding:12px}.isa_success{color:#4f8a10;background-color:#dff2bf;width:90%;margin:10px 0;padding:12px}.isa_warning{color:#9f6000;background-color:#fad776;width:90%;margin:10px 0;padding:12px}.isa_error{color:#d8000c;background-color:#feebe3;width:90%;margin:10px 0;padding:12px}:root{--bg-main:#FBF8F1;--text-main:#4A3F35;--text-highlight:#ffe066;--accent:#D4A373;--toc-bg:#f0e0b9;--link-color:#B0413E;--code-bg:#1e1e2e;--code-text:#cdd6f4;--code-radius:6px;--font-serif:"Lora", "Lora-Fallback", serif;--font-mono:"Inconsolata", monospace;--font-header:"CormorantGaramond", serif;--font-math:"STIX Two Math",'Latin Modern Math', serif}::selection{color:var(--text-main);background:var(--text-highlight)}*,::before,::after{box-sizing:border-box}::-webkit-scrollbar{width:12px;height:12px}::-webkit-scrollbar-track{background:var(--bg-main)}::-webkit-scrollbar-thumb{background-color:color-mix(in srgb,var(--accent) 60%,var(--bg-main));border-radius:8px;border:3px solid var(--bg-main)}:hover::-webkit-scrollbar-thumb{background-color:var(--accent)}html{scrollbar-color:color-mix(in srgb,var(--accent) 60%,var(--bg-main))var(--bg-main);scrollbar-width:thin}body{background:radial-gradient(rgba(0,0,0,2%) 1px,transparent 1px),var(--bg-main);background-size:6px 6px;margin:0;padding:0;padding-left:250px;color:var(--text-main);font-family:var(--font-serif),serif;font-size:18px;line-height:1.75;font-weight:500;font-variant-ligatures:common-ligatures;min-height:100vh;-webkit-font-smoothing:antialiased}@media(max-width:1250px){body{padding-left:0;font-size:20px}}main,header,footer{width:100%;max-width:85ch;padding:1rem 20px;margin:0 auto}h1,h2,h3{line-height:1.2;font-family:var(--font-header),serif}h4,h5,h6{font-family:var(--font-serif),serif;line-height:1.3;margin-top:1.5rem;margin-bottom:.5rem}h1,h2{padding-bottom:8px;margin-top:2.5rem;letter-spacing:-.01em;position:relative}h1{font-size:2.3rem;margin-top:3rem;margin-bottom:1rem;font-weight:600;letter-spacing:0;line-height:1.3}h2{font-size:1.6rem;margin-top:2.5rem;margin-bottom:.6rem}@media(max-width:768px){h2{font-size:1.5rem}}h3{font-size:1.25rem;font-weight:700;margin-top:2rem;margin-bottom:.4rem;letter-spacing:.02em}h4{font-size:.95rem;font-weight:700;text-transform:uppercase;letter-spacing:.08em;color:var(--text-main);-webkit-font-smoothing:auto}h5{font-size:1rem;font-weight:500;font-style:italic;color:var(--text-main)}h6{font-size:.82rem;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:color-mix(in srgb,var(--text-main) 50%,transparent)}h1 [class^=section-number-],h2 [class^=section-number-],h3 [class^=section-number-],h4 [class^=section-number-],h5 [class^=section-number-],h6 [class^=section-number-]{font-family:var(--font-mono),monospace;color:color-mix(in srgb,var(--text-main) 35%,transparent);font-weight:400;font-size:.65em;letter-spacing:.05em;margin-right:.75em;vertical-align:middle}p,ul,ol{margin-top:1rem;margin-bottom:1rem}li{margin-top:.3rem}a,.org-link{color:var(--link-color);text-decoration:underline;text-decoration-thickness:2px;text-underline-offset:4px;transition:all .2s ease-in-out}a:hover,.org-link:hover{color:color-mix(in srgb,var(--link-color) 80%,black);text-decoration-thickness:4px}dl{margin:1.5rem 0 2rem}dt{margin-top:1rem;font-family:var(--font-mono),monospace;font-size:.82rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase;color:color-mix(in srgb,var(--text-main) 80%,transparent)}dd{margin:.3rem 0 0 1.5rem;color:var(--text-main)}table{display:block;table-layout:fixed;width:100%;margin:2rem 0;font-size:.95rem;line-height:1.5;background:color-mix(in srgb,var(--accent) 4%,var(--bg-main));display:block;overflow-x:auto;scrollbar-width:thin;scrollbar-color:color-mix(in srgb,var(--accent) 50%,transparent)color-mix(in srgb,var(--accent) 8%,transparent)}table::-webkit-scrollbar{height:6px;width:6px}table::-webkit-scrollbar-track{background:color-mix(in srgb,var(--accent) 8%,transparent);border-radius:4px}table::-webkit-scrollbar-thumb{background-color:color-mix(in srgb,var(--accent) 50%,transparent);border-radius:4px}table:hover::-webkit-scrollbar-thumb{background-color:var(--accent)}th,td{padding:.75rem .9rem;text-align:left;vertical-align:top}thead th{font-family:var(--font-mono),monospace;font-size:.78rem;letter-spacing:.05em;text-transform:uppercase;background:color-mix(in srgb,var(--accent) 10%,var(--bg-main));border-bottom:1px solid color-mix(in srgb,var(--accent) 22%,transparent)}tbody tr+tr td{border-top:1px solid color-mix(in srgb,var(--text-main) 8%,transparent)}figure{margin:2rem auto;text-align:center}figcaption{font-family:var(--font-serif);font-size:.9rem;color:color-mix(in srgb,var(--text-main) 80%,gray);margin-top:.5rem}img{border-radius:10px;display:block;margin:2rem auto;max-width:50%;width:auto;height:auto}@media(max-width:768px){img{max-width:100%}}:not(pre)>code{font-family:var(--font-mono),monospace;background:var(--code-bg);color:var(--code-text);padding:.15em .4em;border-radius:4px;font-size:.85em;white-space:pre-wrap;word-break:break-word}pre{font-family:var(--font-mono),monospace}pre.src-stem::before{content:"Stem"}blockquote{width:80%;margin:40px auto;font-style:italic;color:var(--text-main);padding:1.5em 30px 1.5em 60px;border-left:4px solid var(--accent);border-radius:0 8px 8px 0;line-height:1.6;position:relative;background:color-mix(in srgb,var(--accent) 15%,transparent)}@media(max-width:768px){blockquote{padding:1em 15px 1em 40px;width:100%}}blockquote::before{font-family:var(--font-serif),serif;content:"“";color:var(--accent);font-size:5em;position:absolute;left:10px;top:-20px;opacity:.5}math{display:inline-block;white-space:nowrap}math[display=block]{font-family:var(--font-math);font-size:1.3em;min-width:0;overflow-y:hidden;scrollbar-width:thin;scrollbar-color:color-mix(in srgb,var(--accent) 50%,transparent)color-mix(in srgb,var(--accent) 8%,transparent);display:block;overflow-x:auto}math[display=block] mtable{margin-left:0;text-align:left}math[display=block] mtd{text-align:left}math[display=block]::-webkit-scrollbar{height:6px;width:6px}math[display=block]::-webkit-scrollbar-track{background:color-mix(in srgb,var(--accent) 8%,transparent);border-radius:4px}math[display=block]::-webkit-scrollbar-thumb{background-color:color-mix(in srgb,var(--accent) 50%,transparent);border-radius:4px}math[display=block]:hover::-webkit-scrollbar-thumb{background-color:var(--accent)}#text-1>p:first-of-type::first-letter{float:left;font-size:3.5rem;line-height:.8;margin-right:.15em;margin-top:.1em;font-family:var(--font-header),serif;font-weight:700;color:var(--accent)}h1.title{padding-top:1.5rem;margin-top:.5rem}.underline{text-decoration:underline;text-decoration-thickness:2px;text-underline-offset:4px}.footdef .footpara,.footdef p{display:inline;margin:0}.footdef{display:block}.footdef sup{display:inline;vertical-align:super;margin-right:.25em}.footnotes-label-hidden{display:none}.title{font-size:2.6rem;margin-bottom:.5rem;text-align:center}.title .subtitle{text-align:center;font-style:italic;padding-bottom:30px;margin-top:10px;color:#555;display:block;font-size:1.2rem;font-family:var(--font-header),serif}.author,.date{display:inline;font-family:var(--font-serif),serif;font-style:italic;font-size:1.1rem;color:color-mix(in srgb,var(--text-main) 70%,gray)}.author::before{content:"by ";font-family:var(--font-mono),monospace;font-style:normal;font-weight:700;text-transform:uppercase;font-size:.8rem;letter-spacing:1px;margin-right:4px;text-align:center}.author:not(:last-child)::after{content:", ";font-style:normal}.todo,.done,.tag,.timestamp-wrapper{font-family:var(--font-mono),monospace;font-size:.75em;font-weight:700;letter-spacing:1px;padding:2px 8px;border-radius:4px;vertical-align:middle;margin-right:6px}.todo.TODO{color:#5c3a21;background-color:color-mix(in srgb,var(--accent) 30%,var(--bg-main));border:1px solid var(--accent)}.done.DONE{color:#2a3b24;background-color:#e4e7d3;border:1px solid #8f9e76}.timestamp-wrapper{margin-left:8px;font-weight:400;color:#5e4a57;background-color:#efe6eb;border:1px solid #c8b2bc;display:inline-block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:32ch;vertical-align:middle}.tag{margin-left:8px;font-weight:400;color:color-mix(in srgb,var(--text-main) 80%,transparent);background-color:color-mix(in srgb,var(--accent) 15%,transparent);border:1px solid color-mix(in srgb,var(--accent) 30%,transparent);display:inline-block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:16ch;vertical-align:middle}.theorem,.lemma,.corollary,.definition,.proof{display:block;font-style:normal;background:color-mix(in srgb,var(--accent) 8%,transparent);border-left:3px solid var(--accent);padding:1rem 1.3rem;margin:2rem 0 20px 10px}.theorem::before,.lemma::before,.corollary::before,.definition::before,.proof::before{font-weight:700;margin-right:.4em}.theorem::before{content:"Theorem:"}.lemma::before{content:"Lemma:"}.corollary::before{content:"Corollary:"}.definition::before{content:"Definition:"}.proof{position:relative;margin-bottom:30px;padding-right:1.2em}.proof::before{content:"Proof:  "}.proof::after{content:"";position:absolute;right:0;bottom:.2em;width:.65em;height:.65em;border:.08em solid;box-sizing:border-box}.links-page>ul{columns:2}@media(max-width:768px){.links-page>ul{columns:1}}img.org-svg,.org-svg{max-width:80%;margin:2rem auto;display:block}.verse{width:fit-content;max-width:min(100%,38rem);margin:2rem auto;padding:1.25rem 1.5rem;white-space:pre-wrap;line-height:1.9;font-style:italic;color:color-mix(in srgb,var(--text-main) 92%,transparent);background:color-mix(in srgb,var(--accent) 6%,transparent)}.src,.example{scrollbar-width:thin;scrollbar-color:color-mix(in srgb,var(--accent) 50%,transparent)color-mix(in srgb,var(--accent) 8%,transparent);display:block;overflow-x:auto;position:relative;background:var(--code-bg);color:var(--code-text);padding:1rem;border-radius:6px;font-size:.9rem}.src::-webkit-scrollbar,.example::-webkit-scrollbar{height:6px;width:6px}.src::-webkit-scrollbar-track,.example::-webkit-scrollbar-track{background:color-mix(in srgb,var(--accent) 8%,transparent);border-radius:4px}.src::-webkit-scrollbar-thumb,.example::-webkit-scrollbar-thumb{background-color:color-mix(in srgb,var(--accent) 50%,transparent);border-radius:4px}.src:hover::-webkit-scrollbar-thumb,.example:hover::-webkit-scrollbar-thumb{background-color:var(--accent)}.src::before,.example::before{position:absolute;top:.5rem;right:.5rem;float:right;z-index:10;font-family:var(--font-mono),monospace;font-size:.7rem;opacity:.5;pointer-events:none;background:var(--code-bg);padding:2px 4px}.org-center{text-align:center}.question{width:80%;margin:40px auto;font-style:normal;color:var(--text-main);padding:1.5em 30px 1.5em 60px;border-left:4px solid var(--accent);border-radius:0 8px 8px 0;line-height:1.6;position:relative;z-index:1;background:color-mix(in srgb,var(--accent) 8%,transparent)}@media(max-width:768px){.question{padding:1em 15px 1em 40px;width:100%}}.question::before{font-family:var(--font-serif),serif;content:"?";color:var(--accent);font-size:5em;position:absolute;left:15px;top:-15px;opacity:.5;z-index:0}.question::after{content:"";position:absolute;inset:0;z-index:-1;pointer-events:none;border-radius:inherit;background-color:var(--accent);opacity:.2;-webkit-mask-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSI2MCIgaGVpZ2h0PSI2MCIgdmlld0JveD0iMCAwIDYwIDYwIj48dGV4dCB4PSIxNSIgeT0iMjIiIGZvbnQtZmFtaWx5PSJzeXN0ZW0tdWksIHNhbnMtc2VyaWYiIGZvbnQtd2VpZ2h0PSJib2xkIiBmb250LXNpemU9IjIwIiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj4/PC90ZXh0Pjx0ZXh0IHg9IjQ1IiB5PSI1MiIgZm9udC1mYW1pbHk9InN5c3RlbS11aSwgc2Fucy1zZXJpZiIgZm9udC13ZWlnaHQ9ImJvbGQiIGZvbnQtc2l6ZT0iMjAiIHRleHQtYW5jaG9yPSJtaWRkbGUiPj88L3RleHQ+PC9zdmc+);mask-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSI2MCIgaGVpZ2h0PSI2MCIgdmlld0JveD0iMCAwIDYwIDYwIj48dGV4dCB4PSIxNSIgeT0iMjIiIGZvbnQtZmFtaWx5PSJzeXN0ZW0tdWksIHNhbnMtc2VyaWYiIGZvbnQtd2VpZ2h0PSJib2xkIiBmb250LXNpemU9IjIwIiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj4/PC90ZXh0Pjx0ZXh0IHg9IjQ1IiB5PSI1MiIgZm9udC1mYW1pbHk9InN5c3RlbS11aSwgc2Fucy1zZXJpZiIgZm9udC13ZWlnaHQ9ImJvbGQiIGZvbnQtc2l6ZT0iMjAiIHRleHQtYW5jaG9yPSJtaWRkbGUiPj88L3RleHQ+PC9zdmc+);-webkit-mask-size:60px 60px;mask-size:60px 60px;-webkit-mask-repeat:repeat;mask-repeat:repeat}.question>*{position:relative}.equation-container{display:grid;grid-template-columns:1fr minmax(0,auto)1fr;align-items:center;width:100%;box-sizing:border-box;margin:2rem 0;background:rgb(from var(--accent) r g b/.05);padding:1.5rem;border-left:2px solid var(--accent)}.equation-container .equation{grid-column:2;text-align:center;display:block;overflow-x:auto;scrollbar-width:thin;scrollbar-color:color-mix(in srgb,var(--accent) 50%,transparent)color-mix(in srgb,var(--accent) 8%,transparent)}.equation-container .equation math[display=block]{margin:0}.equation-container .equation::-webkit-scrollbar{height:6px;width:6px}.equation-container .equation::-webkit-scrollbar-track{background:color-mix(in srgb,var(--accent) 8%,transparent);border-radius:4px}.equation-container .equation::-webkit-scrollbar-thumb{background-color:color-mix(in srgb,var(--accent) 50%,transparent);border-radius:4px}.equation-container .equation:hover::-webkit-scrollbar-thumb{background-color:var(--accent)}.equation-container .equation-label{grid-column:3;justify-self:end}.org-src-container{position:relative;margin:1.2em 0;color:var(--code-text);background:var(--code-bg);padding:1.5rem 1rem 1rem;overflow-x:auto;overflow-y:hidden;scrollbar-width:thin;scrollbar-color:color-mix(in srgb,var(--accent) 50%,transparent)color-mix(in srgb,var(--accent) 8%,transparent)}.org-src-container::-webkit-scrollbar{height:6px;width:6px}.org-src-container::-webkit-scrollbar-track{background:color-mix(in srgb,var(--accent) 8%,transparent);border-radius:4px}.org-src-container::-webkit-scrollbar-thumb{background-color:color-mix(in srgb,var(--accent) 50%,transparent);border-radius:4px}.org-src-container:hover::-webkit-scrollbar-thumb{background-color:var(--accent)}.org-src-container pre.src{margin:0;border:none;overflow:visible;display:inline-block;min-width:100%;width:max-content;padding-right:1rem;box-sizing:border-box}.figure{margin:2rem auto;text-align:center;display:flex;flex-direction:column;align-items:center}.figure p:last-of-type{font-size:.9rem;color:color-mix(in srgb,var(--text-main) 80%,gray);margin-top:.5rem;max-width:80%}.figure-number{font-weight:700;font-family:var(--font-serif);color:var(--text-main)}#preamble{margin-top:10px;margin-bottom:0}#preamble .preamble{font-family:var(--font-mono),monospace;font-size:.85rem;text-transform:uppercase;letter-spacing:1px;color:color-mix(in srgb,var(--text-main) 50%,transparent)}#preamble a{color:var(--text-main);text-decoration:none;padding:4px 8px;border-radius:4px;transition:all .2s ease}#preamble a:hover{background:color-mix(in srgb,var(--accent) 15%,transparent);color:var(--link-color)}#preamble hr{border:none;height:1px;background:linear-gradient(to right,var(--accent),transparent);opacity:.5;width:100%;margin:1rem 0 0}#table-of-contents{height:100vh;width:250px;position:fixed;z-index:10;top:0;left:0;padding-top:0;overflow-y:auto;overflow-x:hidden;scrollbar-width:thin;scrollbar-color:color-mix(in srgb,var(--accent) 50%,transparent)color-mix(in srgb,var(--accent) 8%,transparent)}#table-of-contents::-webkit-scrollbar{height:6px;width:6px}#table-of-contents::-webkit-scrollbar-track{background:color-mix(in srgb,var(--accent) 8%,transparent);border-radius:4px}#table-of-contents::-webkit-scrollbar-thumb{background-color:color-mix(in srgb,var(--accent) 50%,transparent);border-radius:4px}#table-of-contents:hover::-webkit-scrollbar-thumb{background-color:var(--accent)}#table-of-contents ul{list-style-type:none;padding-left:0;margin:0}#table-of-contents ul a{display:block;width:100%;padding:10px 16px 10px 32px;font-size:15px;font-family:var(--font-mono),monospace;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;transition:all .2s cubic-bezier(.4,0,.2,1);border-left:3px solid transparent}#table-of-contents ul a,#table-of-contents ul a:visited{color:var(--text-main);text-decoration:none}#table-of-contents ul a:hover{background-color:var(--text-main);color:var(--bg-main);padding-left:22px;border-left:3px solid var(--accent)}#table-of-contents ul ul a{padding-left:48px;opacity:.85;font-size:13px}#table-of-contents ul ul a:hover{padding-left:38px;opacity:1}#table-of-contents ul ul ul a{padding-left:64px;opacity:.75}#table-of-contents ul ul ul a:hover{padding-left:54px}#table-of-contents h2{display:none}@media(max-width:1250px){#table-of-contents{display:none}}#postamble{text-align:center}#content{padding-top:0}#footnotes{padding-top:1rem}#footnotes hr{margin-top:0;margin-bottom:0}#footnotes hr{margin-top:1rem;margin-bottom:.5rem}@media(prefers-color-scheme:dark){:root{--bg-main:#1F1C1A;--text-main:#DFD7CE;--text-highlight:#7A6217;--accent:#E5B98D;--toc-bg:#292421;--link-color:#D66D68;--code-bg:#141210;--code-text:#D4CFC9}body{background:radial-gradient(rgba(223,215,206,5%) 1px,transparent 1px),var(--bg-main);background-size:6px 6px}.title .subtitle{color:#a39b93}.todo.TODO{color:#e2a681;background-color:color-mix(in srgb,var(--accent) 15%,var(--bg-main));border-color:#9c6c52}.done.DONE{color:#9bb88b;background-color:color-mix(in srgb,#9BB88B 15%,var(--bg-main));border-color:#6a825d}.timestamp-wrapper{color:#c2b6be;background-color:#352a30;border-color:#4a3a43}.isa_info{color:#93b9fa;background-color:#1a2332}.isa_success{color:#8ecda1;background-color:#192b1e}.isa_warning{color:#f8da82;background-color:#362d15}.isa_error{color:#f49b93;background-color:#3b1e1c}}