@charset "UTF-8";.react-spinner-loader-swing div{border-radius:50%;float:left;height:1em;width:1em}.react-spinner-loader-swing div:nth-of-type(1){background:-webkit-linear-gradient(left,#385c78 0%,#325774 100%);background:linear-gradient(to right,#385c78 0%,#325774 100%)}.react-spinner-loader-swing div:nth-of-type(2){background:-webkit-linear-gradient(left,#325774 0%,#47536a 100%);background:linear-gradient(to right,#325774 0%,#47536a 100%)}.react-spinner-loader-swing div:nth-of-type(3){background:-webkit-linear-gradient(left,#4a5369 0%,#6b4d59 100%);background:linear-gradient(to right,#4a5369 0%,#6b4d59 100%)}.react-spinner-loader-swing div:nth-of-type(4){background:-webkit-linear-gradient(left,#744c55 0%,#954646 100%);background:linear-gradient(to right,#744c55 0%,#954646 100%)}.react-spinner-loader-swing div:nth-of-type(5){background:-webkit-linear-gradient(left,#9c4543 0%,#bb4034 100%);background:linear-gradient(to right,#9c4543 0%,#bb4034 100%)}.react-spinner-loader-swing div:nth-of-type(6){background:-webkit-linear-gradient(left,#c33f31 0%,#d83b27 100%);background:linear-gradient(to right,#c33f31 0%,#d83b27 100%)}.react-spinner-loader-swing div:nth-of-type(7){background:-webkit-linear-gradient(left,#da3b26 0%,#db412c 100%);background:linear-gradient(to right,#da3b26 0%,#db412c 100%)}.react-spinner-loader-shadow{clear:left;padding-top:1.5em}.react-spinner-loader-shadow div{-webkit-filter:blur(1px);filter:blur(1px);float:left;width:1em;height:.25em;border-radius:50%;background:#e3dbd2}.react-spinner-loader-shadow .react-spinner-loader-shadow-l{background:#d5d8d6}.react-spinner-loader-shadow .react-spinner-loader-shadow-r{background:#eed3ca}@-webkit-keyframes ball-l{0%,50%{-webkit-transform:rotate(0) translateX(0);transform:rotate(0) translate(0)}to{-webkit-transform:rotate(50deg) translateX(-2.5em);transform:rotate(50deg) translate(-2.5em)}}@keyframes ball-l{0%,50%{-webkit-transform:rotate(0) translate(0);transform:rotate(0) translate(0)}to{-webkit-transform:rotate(50deg) translateX(-2.5em);transform:rotate(50deg) translate(-2.5em)}}@-webkit-keyframes ball-r{0%{-webkit-transform:rotate(-50deg) translateX(2.5em);transform:rotate(-50deg) translate(2.5em)}50%,to{-webkit-transform:rotate(0) translateX(0);transform:rotate(0) translate(0)}}@keyframes ball-r{0%{-webkit-transform:rotate(-50deg) translateX(2.5em);transform:rotate(-50deg) translate(2.5em)}50%,to{-webkit-transform:rotate(0) translateX(0);transform:rotate(0) translate(0)}}@-webkit-keyframes shadow-l-n{0%,50%{opacity:.5;-webkit-transform:translateX(0);transform:translate(0)}to{opacity:.125;-webkit-transform:translateX(-1.57em);transform:translate(-1.75em)}}@keyframes shadow-l-n{0%,50%{opacity:.5;-webkit-transform:translateX(0);transform:translate(0)}to{opacity:.125;-webkit-transform:translateX(-1.75);transform:translate(-1.75em)}}@-webkit-keyframes shadow-r-n{0%{opacity:.125;-webkit-transform:translateX(1.75em);transform:translate(1.75em)}50%,to{opacity:.5;-webkit-transform:translateX(0);transform:translate(0)}}@keyframes shadow-r-n{0%{opacity:.125;-webkit-transform:translateX(1.75em);transform:translate(1.75em)}50%,to{opacity:.5;-webkit-transform:translateX(0);transform:translate(0)}}.react-spinner-loader-swing-l{-webkit-animation:ball-l .425s ease-in-out infinite alternate;animation:ball-l .425s ease-in-out infinite alternate}.react-spinner-loader-swing-r{-webkit-animation:ball-r .425s ease-in-out infinite alternate;animation:ball-r .425s ease-in-out infinite alternate}.react-spinner-loader-shadow-l{-webkit-animation:shadow-l-n .425s ease-in-out infinite alternate;animation:shadow-l-n .425s ease-in-out infinite alternate}.react-spinner-loader-shadow-r{-webkit-animation:shadow-r-n .425s ease-in-out infinite alternate;animation:shadow-r-n .425s ease-in-out infinite alternate}.react-spinner-loader-svg-calLoader{width:230px;height:230px;transform-origin:115px 115px;animation:1.4s linear infinite loader-spin;-webkit-animation:1.4s linear infinite loader-spin}.react-spinner-loader-svg-cal-loader__path{animation:1.4s ease-in-out infinite loader-path;-webkit-animation:1.4s ease-in-out infinite loader-path}@keyframes loader-spin{to{transform:rotate(360deg)}}@keyframes loader-path{0%{stroke-dasharray:0,580,0,0,0,0,0,0,0}50%{stroke-dasharray:0,450,10,30,10,30,10,30,10}to{stroke-dasharray:0,580,0,0,0,0,0,0,0}}.react-spinner-loader-svg svg{-webkit-transform-origin:50% 65%;transform-origin:50% 65%}.react-spinner-loader-svg svg polygon{stroke-dasharray:17;-webkit-animation:dash 2.5s cubic-bezier(.35,.04,.63,.95) infinite;animation:dash 2.5s cubic-bezier(.35,.04,.63,.95) infinite}@-webkit-keyframes dash{to{stroke-dashoffset:136}}@keyframes dash{to{stroke-dashoffset:136}}@-webkit-keyframes rotate{to{-webkit-transform:rotate(360deg);transform:rotate(360deg)}}@keyframes rotate{to{-webkit-transform:rotate(360deg);transform:rotate(360deg)}}.textcolor-peach{color:#fadfcb}.bgcolor-peach{background:#fadfcb}.textcolor-forest-green{color:#badcc7}.bgcolor-forest-green{background:#badcc7}.textcolor-error{color:#be2222}.bgcolor-error{background:#be2222}.textcolor-highlight{color:#fff9ac}.bgcolor-highlight{background:#fff9ac}.document{text-align:justify;line-height:1.3em;font-family:serif;font-size:18px;overflow-wrap:anywhere}.document .footnotes{font-size:14px;line-height:1.2em;border-top:1px solid #ccc;padding-top:10px;margin-top:2rem}.document .footnotes .backlink{color:#000;font-size:10px}.document .footnotes .footnote-number{font-size:16px;margin-right:10px}.document .footnotes .footnote{margin-bottom:1rem;display:flex}.document .footnote-body p{text-indent:0}.document .error{color:#be2222;padding:2px;border:1px solid #be2222;border-radius:2px}.document h1,.document h2,.document h3,.document h4,.document h5,.document h6{margin:0;text-align:left;line-height:1em}.document h1{font-size:2em!important}.document a[href],.document .ref{cursor:pointer;text-decoration:none}.document a[href]:hover,.document .ref:hover{text-decoration:underline}.document a[href].nolink,.document .ref.nolink{color:inherit}.document a[href].nolink:hover,.document .ref.nolink:hover{text-decoration:none;background:rgba(19,92,202,.1)}.document .def-mode .ref.nolink{border:1px solid rgba(19,92,202,.2);padding:3px;display:inline-block}@keyframes yellowflash{0%{background:#ffdc00}to{background:transparent}}.document *:target{animation:yellowflash 1s;padding:4px;margin:-4px;border-radius:2px}.document p{margin:0;hyphens:auto}.document p.noindent{text-indent:0}.document p+p{text-indent:1em}.document .document-title{margin-bottom:2rem}.document .authors .author{margin-bottom:.25rem}.document .authors .author .author-name{font-size:22px}.document .abstract{margin:1em 0 2rem}.document .section-title{margin-bottom:1rem;margin-top:0;font-size:22px}.document .section-title .section-number{margin-right:20px}h2.document .section-title{text-transform:uppercase}.document pre,.document code{font-family:Inconsolata,monospace}.document code{border:1px solid #eee;padding:0 3px 1px;border-radius:4px;white-space:nowrap}.document pre{margin:.5rem 0}.document section{margin-top:2rem}.document .katex{font-size:1.1rem}.document .katex .newline{display:inline}.document .katex .newline:before{content:"\a";white-space:pre}.document .nomargin .katex-display{margin:0}.document .katex-display .base{margin-bottom:-.33em}.document .katex .vlist-t2>.vlist-r:nth-child(2)>.vlist{pointer-events:none;height:0px!important}.document .tex-highlight{background:#fff9ac}.document .bib-references{text-align:justify;font-size:16px;line-height:1.3em}.document .bib-reference{text-indent:-1em;padding-left:1em}.document .row{display:flex;justify-content:center;margin:1rem 0}.document .row>*{margin-right:2rem}.document .row>*:last-child{margin-right:0}.document .figure.level-1{display:flex;justify-content:center;flex-wrap:wrap;border-top:1px solid #ddd;border-bottom:1px solid #ddd;padding:1rem 0;margin:2rem 0}.document .figure.level-2{margin:1rem 0}.document .caption{font-size:16px;text-align:center}.document sup.footnote-marker{vertical-align:top;position:relative;bottom:.25em}.document .tooltip{border:2px solid #aaa;background:white;padding:6px 10px;border-radius:4px;box-shadow:2px 2px 4px #0003;max-width:min(90vw,600px);width:max-content;z-index:1000}.document .tooltip .arrow{visibility:hidden}.document .tooltip .arrow,.document .tooltip .arrow:before{position:absolute;width:8px;height:8px;background:inherit;border-radius:2px;border:2px solid transparent}.document .tooltip .arrow:before{visibility:visible;content:"";transform:rotate(45deg)}.document .tooltip[data-popper-placement^=top] .arrow{bottom:-4px}.document .tooltip[data-popper-placement^=top] .arrow:before{border-bottom-color:#aaa;border-right-color:#aaa}.document .tooltip[data-popper-placement^=bottom] .arrow{top:-8px}.document .tooltip[data-popper-placement^=bottom] .arrow:before{border-top-color:#aaa;border-left-color:#aaa}.document .tooltip[data-popper-placement^=left] .arrow{right:-4px}.document .tooltip[data-popper-placement^=left] .arrow:before{border-right-color:#aaa;border-top-color:#aaa}.document .tooltip[data-popper-placement^=right] .arrow{left:-4px}.document .tooltip[data-popper-placement^=right] .arrow:before{border-left-color:#aaa;border-bottom-color:#aaa}.document .expandable{margin:1rem 0}.document .expandable .expand{cursor:pointer;font-family:Helvetica,sans-serif;border:black;color:#000;padding:2px 4px;border-radius:4px}.document .expandable>.inner{transition:all .25s ease;overflow:hidden}.document .expandable>.inner>div{border:1px solid #ccc;border-radius:4px;padding:.5rem 1rem}.document .expandable.expanded>.inner{margin-top:10px}.document .smallcaps{font-variant:small-caps}.document .togglebox-parent,.document .togglebox-grandparent{display:inline-block}.document .toggle-button{font-size:.65rem;position:relative;bottom:2px;margin-left:.5rem;border:1px solid #ccc;border-radius:2px;padding:0 2px;vertical-align:middle;color:#555;cursor:pointer}.document .toggle-button.big{font-size:1rem}.document .togglebox{display:flex;justify-content:center}.document .togglebox>div{display:inline-block}.document .inferrule{display:inline-block;text-align:center;margin:.5rem 0}.document .inferrule .divider{width:100%;height:1px;background:black;margin:6px 0}.document .inferrule .premise{margin-right:2rem;display:inline-block}.document .inferrule .premise:last-child{margin-right:0}.document .inferrule .premise-row{display:block;line-height:2rem}.document .inferrule .right{height:0}.document .inferrule .right>div{position:relative}.document .theorem-body{font-style:italic}.document .theorem-body p{text-indent:0}.document .theorem-body ul,.document .theorem-body ol,.document .theorem-body ul li,.document .theorem-body ol li{margin:0}.document .correspondence{line-height:1.5em}.document .correspondence .link{border-bottom:1px solid black;padding-bottom:1px}.document .correspondence .link.type-1{border-color:#d62728}.document .correspondence.hover-type-1 .link.type-1{border-width:3px}.document .correspondence .link.type-2{border-color:#2ca02c}.document .correspondence.hover-type-2 .link.type-2{border-width:3px}.document .correspondence .link.type-3{border-color:#1f77b4}.document .correspondence.hover-type-3 .link.type-3{border-width:3px}.document .correspondence .link.type-4{border-color:#e377c2}.document .correspondence.hover-type-4 .link.type-4{border-width:3px}.document .correspondence .link.type-5{border-color:#9467bd}.document .correspondence.hover-type-5 .link.type-5{border-width:3px}.document .correspondence .link.type-6{border-color:#e17f0e}.document .correspondence.hover-type-6 .link.type-6{border-width:3px}.document hr{border-color:#eee;margin:1rem 2rem}.document ul,.document ol{padding-left:1.5rem}.document ul>li,.document ol>li{margin-bottom:.5rem}.document ul>li:last-child,.document ol>li:last-child{margin-bottom:0}.document ol.parenkey{counter-reset:list}.document ol.parenkey[start="2"]{counter-increment:list}.document ol.parenkey>li{list-style:none}.document ol.parenkey>li:before{content:"(" counter(list,lower-alpha) ") ";counter-increment:list;margin-left:-1.5rem}.document .full-width-container{position:relative}.document .comments{position:relative;height:100%}.document .comment{border:1px solid #999;background:white;padding:.5rem;border-radius:4px;display:inline-block;position:absolute;left:0}.document .comment>p:first-child{text-indent:0}.document q{quotes:"\201c" "\201d" "\2018" "\2019"}.document .portal{position:fixed;width:0;height:0;z-index:1000}.document .loader{position:relative;opacity:.2}.document .loader.loaded{opacity:1}.document .loader .loader-overlay{display:flex;position:absolute;width:100%;height:100%;top:0;left:0;opacity:1;z-index:1000}.document .loader .loader-overlay .loader-spinner{width:100%;height:100%;max-width:60px;max-height:60px;margin:auto}.document .loader .loader-overlay .loader-spinner>div{width:inherit;height:inherit}@keyframes fade{0%{opacity:1}75%{opacity:1}to{opacity:0}}.document .logger{position:fixed;bottom:20px;right:20px;z-index:1000}.document .logger .log{border:1px solid #ccc;border-radius:4px;padding:.5rem 1rem;margin-top:1rem;opacity:0;max-width:600px;background:white}.cm-completionIcon-react:after{content:"\269b";font-size:140%;display:block;margin-bottom:-1px;margin-top:-4px;position:relative;top:2px}.translate-error{position:absolute;z-index:1000;bottom:0;left:0;margin:0;padding:5px 10px;border:1px solid #ccc;border-radius:2px;color:red;background:white;box-shadow:1px 2px 3px #0003;max-width:100%;height:min-content;white-space:pre-wrap;font-size:85%;overflow-x:auto}body,.document{font:20px EB Garamond,serif;margin:0;padding:0}.document ul{margin:.5rem}#container{padding:1rem 2rem}@media (max-width: 799px){#container{padding:.5rem 1rem}}h1{margin:0;text-align:center}@media (max-width: 799px){h1{font-size:30px;line-height:1.2}}.row{display:flex;justify-content:space-between;flex-direction:row;border:3px solid #ccc;border-radius:4px;padding:1rem;margin:1rem 0}@media (max-width: 799px){.row{flex-direction:column;padding:.5rem .75rem}}@media (min-width: 800px){.row .editor,.row .document,.row .js-view{max-height:575px;overflow-y:auto}}.row>.editor{flex:55%}.row>.output{flex:45%;position:relative}@media (min-width: 800px){.row>.output{border-right:3px solid #eee;padding-right:2rem;margin-right:1rem;width:45%}}@media (max-width: 799px){.row>.output{border-bottom:3px solid #eee;padding-bottom:2rem;margin-bottom:1rem}}.row>.output .toggle-output{position:absolute}@media (max-width: 799px){.row>.output .toggle-output{right:0;bottom:1rem}}@media (min-width: 800px){.row>.output .toggle-output{bottom:0;right:1rem}}.rest{font-size:22px}@media (min-width: 800px){.rest{width:800px;margin:0 auto}}.cm-editor{font-size:85%}.cm-editor .nota-text{font-family:EB Garamond,serif;font-size:108%}
/*# sourceMappingURL=index.css.map */