@charset "UTF-8";@font-face{font-family:"et-book";src:url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot");src:url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot?#iefix") format("embedded-opentype"),url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.woff") format("woff"),url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.ttf") format("truetype"),url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.svg#etbookromanosf") format("svg");font-weight:normal;font-style:normal}@font-face{font-family:"et-book";src:url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot");src:url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot?#iefix") format("embedded-opentype"),url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.woff") format("woff"),url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.ttf") format("truetype"),url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.svg#etbookromanosf") format("svg");font-weight:normal;font-style:italic}@font-face{font-family:"et-book";src:url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot");src:url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot?#iefix") format("embedded-opentype"),url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.woff") format("woff"),url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.ttf") format("truetype"),url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.svg#etbookromanosf") format("svg");font-weight:bold;font-style:normal}@font-face{font-family:"et-book-roman-old-style";src:url("et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.eot");src:url("et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.eot?#iefix") format("embedded-opentype"),url("et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.woff") format("woff"),url("et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.ttf") format("truetype"),url("et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.svg#etbookromanosf") format("svg");font-weight:normal;font-style:normal}#webmentions img{max-height:1.2em;margin-right:-1ex}.profile-pic{width:50%}@media only screen and (min-width:600px){.profile-pic{float:right;margin-left:20px;width:300px}}.container{max-width:750px;margin:0 auto;padding:1em 0}body{font-family:et-book;background-color:#fffff8;color:#111}h1{font-weight:400;line-height:1;font-size:1.8em}h2{font-variant:small-caps;font-weight:400;line-height:1;font-size:1.4em}h3{font-style:italic;font-weight:400;line-height:1;font-size:1.3em}.numeral{font-family:et-book-roman-old-style}pre{overflow:auto;line-height:1.2em;padding:1em;background-color:#e7e7e1}code,pre{font-family:Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:1.0rem}table{border:2px solid black;border-collapse:collapse}table th{border:1px solid black;padding:5px}table td{border:1px solid black;padding:5px}input,label{display:block}blockquote{border-left:2px solid black;padding-left:20px}.katex{font-size:1em!important}.article{text-align:justify;hyphens:auto;line-height:1.3em}figure{display:block;margin:2em auto;width:100%}figure img{display:block;margin:auto;width:95%;padding:0.5em;border-radius:20px}figure img.half{display:inline;width:45%}figure figcaption{text-align:center;font-size:0.9em}.proof{}div.proof:after{content:"\25A2";float:right;margin-top:-3.4rem}.rmenv,.itenv{padding:0.75em;margin-bottom:1.5em;border:1px solid #007481}.itenv{font-style:italic}.itenv em{font-style:normal!important}.itenv:before,.rmenv:before{content:attr(title)".";font-weight:600;padding-right:0.5em;display:inline}.itenv>p:first-of-type,.rmenv>p:first-of-type{margin-top:0!important;display:inline}.itenv>:last-child,.rmenv>:last-child{margin-bottom:0!important}a:link,a:visited{color:inherit}div.article a:link{text-decoration:none;background:-webkit-linear-gradient(#fffff8,#fffff8),-webkit-linear-gradient(#fffff8,#fffff8),-webkit-linear-gradient(#333,#333);background:linear-gradient(#fffff8,#fffff8),linear-gradient(#fffff8,#fffff8),linear-gradient(#333,#333);-webkit-background-size:0.05em 1px,0.05em 1px,1px 1px;-moz-background-size:0.05em 1px,0.05em 1px,1px 1px;background-size:0.05em 1px,0.05em 1px,1px 1px;background-repeat:no-repeat,no-repeat,repeat-x;text-shadow:0.03em 0 #fffff8,-0.03em 0 #fffff8,0 0.03em #fffff8,0 -0.03em #fffff8,0.06em 0 #fffff8,-0.06em 0 #fffff8,0.09em 0 #fffff8,-0.09em 0 #fffff8,0.12em 0 #fffff8,-0.12em 0 #fffff8,0.15em 0 #fffff8,-0.15em 0 #fffff8;background-position:0% 93%,100% 93%,0% 93%}div.menu a:link{text-decoration:none;margin-right:0.6em}.tikzpicture{display:block;margin-left:auto;margin-right:auto}.icon{height:25px;width:25px;margin-bottom:-5px}.menu{display:flex;flex-direction:column;align-items:center;margin-bottom:0em}.mainbar-links{margin-left:auto;margin-right:auto}.social-icons{margin-left:auto;margin-right:auto}@media only screen and (min-width:500px){.menu{flex-direction:row;margin-bottom:-1em}.mainbar-links{margin-left:auto;margin-right:1em}.social-icons{margin-left:0;margin-right:0}}.content{font-size:11pt}@media only screen and (min-width:400px){.content{font-size:13pt}.container{padding:1em}}@media only screen and (min-width:600px){.content{border:none;margin-bottom:0;font-size:16pt}.info:first-child{border:none}}@media only screen and (min-width:750px){.content{width:750px}}.date{font-size:0.8em;font-weight:bold}