@charset "UTF-8";@font-face{font-family:et-book;src:url(/e8131a4a564e0a3f8803be3ccb20110d3012b011/7f474/css/et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot);src:url(/e8131a4a564e0a3f8803be3ccb20110d3012b011/7f474/css/et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot#iefix) format("embedded-opentype"),url(/a0e7e6f483483360d815588e158093d206d6e1bd/55687/css/et-book/et-book-roman-line-figures/et-book-roman-line-figures.woff) format("woff"),url(/773a4513fa89709fb250b663692ab59bc70ec11f/6edb0/css/et-book/et-book-roman-line-figures/et-book-roman-line-figures.ttf) format("truetype"),url(/b4828edcdb36a4b53da5d9d9b5e9dad9388741a8/8f3c3/css/et-book/et-book-roman-line-figures/et-book-roman-line-figures.svg#etbookromanosf) format("svg");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:et-book;src:url(/7e86645346b82f4ecad2c9ad1ea4d94bafd52911/9f806/css/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot);src:url(/7e86645346b82f4ecad2c9ad1ea4d94bafd52911/9f806/css/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot#iefix) format("embedded-opentype"),url(/6d56870c243bac99b6bd42b52b5a4dbb967b1364/5c98e/css/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.woff) format("woff"),url(/580fe64ceb7d4d32d0c9c1abc79274fd32b5ff12/1c79f/css/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.ttf) format("truetype"),url(/014cb8fc7d7a128f609cb12e5dacae81048f62af/ffdc7/css/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.svg#etbookromanosf) format("svg");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:et-book;src:url(/45ffccf6d03837463ea728682bba06a41f20b01a/084ab/css/et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot);src:url(/45ffccf6d03837463ea728682bba06a41f20b01a/084ab/css/et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot#iefix) format("embedded-opentype"),url(/4bfea501fb873f4c8d0de8ddce6ca2caf677a29b/82e81/css/et-book/et-book-bold-line-figures/et-book-bold-line-figures.woff) format("woff"),url(/b3e2b4ee8c1527861499e153f081ec0b43f55101/f313a/css/et-book/et-book-bold-line-figures/et-book-bold-line-figures.ttf) format("truetype"),url(/ef4a10917e1a1c40ca79b79104a7a8d66967b1e9/ae5af/css/et-book/et-book-bold-line-figures/et-book-bold-line-figures.svg#etbookromanosf) format("svg");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:et-book-roman-old-style;src:url(/b72a8e639f0f8b4a4dbbbbc1f4ab29f9ad583059/87684/css/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.eot);src:url(/b72a8e639f0f8b4a4dbbbbc1f4ab29f9ad583059/87684/css/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.eot#iefix) format("embedded-opentype"),url(/f0bc4342ef94c36284f916b8f4de91616100e97d/82d9d/css/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.woff) format("woff"),url(/2ea2aa9283b2f06f46fc0b5fad019958026ec26e/4cfc0/css/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.ttf) format("truetype"),url(/a7c90d5be822b097eb16949dab54f80f62322e30/37a08/css/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.svg#etbookromanosf) format("svg");font-weight:400;font-style:normal;font-display:swap}html{font-size:15px}body{width:87.5%;margin-left:auto;margin-right:auto;padding-left:12.5%;font-family:et-book,Palatino,"Palatino Linotype","Palatino LT STD","Book Antiqua",Georgia,serif;background-color:#fffff8;color:#111;max-width:1400px;counter-reset:sidenote-counter}h1{font-weight:400;margin-top:4rem;margin-bottom:1.5rem;font-size:3.2rem;line-height:1}h2{font-style:italic;font-weight:400;margin-top:2.1rem;margin-bottom:1.4rem;font-size:2.2rem;line-height:1}h3{font-style:italic;font-weight:400;font-size:1.7rem;margin-top:2rem;margin-bottom:1.4rem;line-height:1}hr{display:block;height:1px;width:55%;border:0;border-top:1px solid #ccc;margin:1em 0;padding:0}p.subtitle{font-style:italic;margin-top:1rem;margin-bottom:1rem;font-size:1.8rem;display:block;line-height:1}.numeral{font-family:et-book-roman-old-style}.danger{color:red}article{padding:5rem 0}section{padding-top:1rem;padding-bottom:1rem}ol,p,ul{font-size:1.4rem;line-height:2rem}p{margin-top:1.4rem;margin-bottom:1.4rem;padding-right:0;vertical-align:baseline}div.epigraph{margin:5em 0}div.epigraph>blockquote{margin-top:3em;margin-bottom:3em}div.epigraph>blockquote,div.epigraph>blockquote>p{font-style:italic}div.epigraph>blockquote>footer{font-style:normal}div.epigraph>blockquote>footer>cite{font-style:italic}blockquote{font-size:1.4rem}blockquote p{width:55%;margin-right:40px}blockquote footer{width:55%;font-size:1.1rem;text-align:right}section>footer,section>p,section>table{width:55%}section>ol,section>ul{width:50%;-webkit-padding-start:5%}li:not(:first-child){margin-top:.25rem}figure{padding:0;border:0;font-size:100%;font:inherit;vertical-align:baseline;max-width:55%;-webkit-margin-start:0;-webkit-margin-end:0;margin:0 0 3em 0}figcaption{float:right;clear:right;margin-top:0;margin-bottom:0;font-size:1.1rem;line-height:1.6;vertical-align:baseline;position:relative;max-width:40%}figure.fullwidth figcaption{margin-right:24%}a:link,a:visited{color:inherit}.no-tufte-underline:link{background:unset;text-shadow:unset}img{max-width:100%}.marginnote,.sidenote{float:right;clear:right;margin-right:-60%;width:50%;margin-top:0;margin-bottom:0;font-size:1.1rem;line-height:1.3;vertical-align:baseline;position:relative}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{font-family:et-book-roman-old-style;position:relative;vertical-align:baseline}.sidenote-number:after{content:counter(sidenote-counter);font-size:1rem;top:-.5rem;left:.1rem}.sidenote:before{content:counter(sidenote-counter) " ";font-size:1rem;top:-.5rem}blockquote .marginnote,blockquote .sidenote{margin-right:-82%;min-width:59%;text-align:left}div.fullwidth,table.fullwidth{width:100%}div.table-wrapper{overflow-x:auto;font-family:"Trebuchet MS","Gill Sans","Gill Sans MT",sans-serif}.sans{font-family:"Gill Sans","Gill Sans MT",Calibri,sans-serif;letter-spacing:.03em}code,pre>code{font-family:Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:1rem;line-height:1.42;-webkit-text-size-adjust:100%}.sans>code{font-size:1.2rem}h1>code,h2>code,h3>code{font-size:.8em}.marginnote>code,.sidenote>code{font-size:1rem}pre>code{font-size:.9rem;width:52.5%;margin-left:2.5%;overflow-x:auto;display:block}pre.fullwidth>code{width:90%}.fullwidth{max-width:90%;clear:both}span.newthought{font-variant:small-caps;font-size:1.2em}input.margin-toggle{display:none}label.sidenote-number{display:inline}label.margin-toggle:not(.sidenote-number){display:none}.iframe-wrapper{position:relative;padding-bottom:56.25%;padding-top:25px;height:0}.iframe-wrapper iframe{position:absolute;top:0;left:0;width:100%;height:100%}@media (max-width:760px){body{width:84%;padding-left:8%;padding-right:8%}hr,section>footer,section>p,section>table{width:100%}pre>code{width:97%}section>ol{width:90%}section>ul{width:90%}figure{max-width:90%}figcaption,figure.fullwidth figcaption{margin-right:0;max-width:none}blockquote{margin-left:1.5em;margin-right:0}blockquote footer,blockquote p{width:100%}label.margin-toggle:not(.sidenote-number){display:inline}.marginnote,.sidenote{display:none}.margin-toggle:checked+.marginnote,.margin-toggle:checked+.sidenote{display:block;float:left;left:1rem;clear:both;width:95%;margin:1rem 2.5%;vertical-align:baseline;position:relative}label{cursor:pointer}div.table-wrapper,table{width:85%}img{width:100%}}q{quotes:"“" "”" "‘" "’"}section{padding-top:initial;padding-bottom:initial}article>section{padding-top:1rem;padding-bottom:1rem}p.byline{font-size:1.2rem}table{border-top:2px solid #000;border-bottom:2px solid #000}th{border-bottom:1px solid #000}td,th{font-size:1.4rem;padding:10px;text-align:left}figure.fullwidth table{width:90%}@media (max-width:760px){figure.fullwidth table{width:100%}}div.sourceCode,pre:not(.sourceCode){padding:1.4rem;margin:-.7rem -1.4rem;width:55%;font-size:.9rem;overflow-x:auto}div.sourceCode code,pre:not(.sourceCode) code{font-size:.9rem}.fullwidth div.sourceCode,.fullwidth pre:not(.sourceCode){width:100%}@media (max-width:760px){div.sourceCode,pre:not(.sourceCode){width:100%}}.katex{font-size:inherit!important}#refs a{word-wrap:break-word;overflow-wrap:break-word}.csl-entry{font-size:1.2rem;padding-top:.4rem;padding-bottom:.4rem;width:87.5%}body{background-color:#1c1c1c;color:#eee}header{margin:1em 0 2em 0}header nav{width:87.5%}header nav a{display:inline-block;font-size:1.4rem;font-weight:700;font-variant-caps:small-caps;margin:0 .5rem;padding:0 0}header nav a:first-child{margin-left:0}header nav a:last-child{margin-right:0}footer{margin-top:3rem;padding:.5rem 0;border-top:.1rem solid #000;color:#555}article .header{font-style:italic;color:#555}blockquote{border-left:2px solid grey;padding-left:1rem}.definition,.proposition,.theorem{width:55%;display:block;border-left:2px solid grey;padding-left:1rem;margin-top:1rem;margin-bottom:1rem}.proposition,.theorem{font-style:italic}.definition p:first-child,.proof p:first-child,.proposition p:first-child,.theorem p:first-child{display:inline}.definition p,.proof p,.proposition p,.theorem p{margin-top:.4rem;margin-bottom:.4rem;padding-left:1rem}.theorem:before{content:"Theorem.";font-weight:700;font-style:normal}.proposition:before{content:"Proposition.";font-weight:700;font-style:normal}.definition:before{content:"Definition.";font-weight:700;font-style:normal}.proof{width:55%}.proof:before{content:"Proof.";font-style:italic}.proof:after{content:"\220E";float:right}a.sourceLine{display:inline-block;line-height:1.25}a.sourceLine{pointer-events:none;color:inherit;text-decoration:inherit}a.sourceLine:empty{height:1.2em}.sourceCode{overflow:visible}code.sourceCode{white-space:pre;position:relative}div.sourceCode{margin:1em 0}pre.sourceCode{margin:0}@media screen{div.sourceCode{overflow:auto}}@media print{code.sourceCode{white-space:pre-wrap}a.sourceLine{text-indent:-1em;padding-left:1em}}pre.numberSource a.sourceLine{position:relative;left:-4em}pre.numberSource a.sourceLine::before{content:attr(title);position:relative;left:-1em;text-align:right;vertical-align:baseline;border:none;pointer-events:all;display:inline-block;-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;padding:0 4px;width:4em;color:#ccc}pre.numberSource{margin-left:3em;border-left:1px solid #303030;padding-left:4px}@media screen{a.sourceLine::before{text-decoration:underline}}code span.al{color:#ffcfaf}code span.an{color:#7f9f7f;font-weight:700}code span.bn{color:#dca3a3}code span.cf{color:#f0dfaf}code span.ch{color:#dca3a3}code span.cn{color:#dca3a3;font-weight:700}code span.co{color:#7f9f7f}code span.cv{color:#7f9f7f;font-weight:700}code span.do{color:#7f9f7f}code span.dt{color:#dfdfbf}code span.dv{color:#dcdccc}code span.er{color:#c3bf9f}code span.fl{color:#c0bed1}code span.fu{color:#efef8f}code span.in{color:#7f9f7f;font-weight:700}code span.kw{color:#f0dfaf}code span.op{color:#f0efd0}code span.ot{color:#efef8f}code span.pp{color:#ffcfaf;font-weight:700}code span.sc{color:#dca3a3}code span.ss{color:#cc9393}code span.st{color:#cc9393}code span.vs{color:#cc9393}code span.wa{color:#7f9f7f;font-weight:700}