body{max-width:1000px;margin:auto;padding:.3em;line-height:1.5em}#TableOfContents,#TOC{border:1px solid #eee;border-radius:5px}.menu li{display:inline-block}.article-meta,.menu a{text-decoration:none;background:#613dc1;color:#fff;padding:5px;border-radius:5px}nav span.group{padding:0;margin:0}nav span.group a:not(:first-child):not(:last-child){padding:0}nav span.group a:first-child{padding-left:5px;padding-right:0}nav span.group a:last-child{padding-left:0;padding-right:5px}nav span.group a:only-child{padding:5px}.terms{font-size:.9em}.article-meta a{color:#fff}.menu,.article-meta,footer{text-align:center}.title{font-size:1.1em}span.date{font-family:ui-monospace,cascadia code,source code pro,Menlo,Consolas,dejavu sans mono,monospace;font-variant-numeric:tabular-nums;font-size:.9em}.description img{max-height:150px;width:auto;display:inline-block;margin:0 5px}footer a{text-decoration:none}.pull-left{float:left}.pull-right{float:right}a{color:#613dc1;text-decoration:none}a:hover{text-decoration:underline}header{position:relative;width:100%;height:1.75rem;font-family:lucida console,liberation mono;font-size:.875rem;background:#613dc1;border-bottom:1px solid #000}header ul,header ol{margin:0;padding:0;list-style:none}header nav{padding:0 .5rem}header a{color:#fff;line-height:1.75rem;padding:0 .5rem}header a:hover,header .current a{color:#fff}pre{border:1px solid #ddd;box-shadow:5px 5px 5px #eee;background:#f8f8f8;padding:1em;overflow-x:auto}code{background:#f9f9f9}pre code{background:0 0}img,iframe,video{max-width:100%}main{hyphens:auto}blockquote{background:#f9f9f9;border-left:5px solid #ccc;padding:3px 1em}table{margin:auto;border-top:1px solid #666;border-bottom:1px solid #666}table thead th{border-bottom:1px solid #ddd}th,td{padding:5px}tr:nth-child(even){background:#eee}footer{font-size:90%;font-family:monospace}.title{line-height:initial}h1{line-height:initial}canvas{max-width:100%;height:auto}div.search{background:#e9ebf6;text-decoration:none;padding:15px;border-radius:5px}div.search input#search-query{width:400px}div.article-meta{padding:none}div.article-meta div.pagination-meta{padding-top:1em}div.article-meta ul.pagination{display:inline;margin:0;padding:0}div.article-meta ul.pagination{color:#000}div.ex_sheet_pagination{text-align:center;padding:1em 0}div.ex_sheet_pagination ul.pagination{display:inline}div.ex_sheet_pagination ul.pagination li.active{border-width:1px;border-style:solid;padding:2px}ul.pagination li.hide{visibility:hidden}dl.bullets dd{display:list-item;list-style-type:disc}span.front-image{float:right;max-width:200px}@media screen and (max-width:600px){header{height:3.5rem}}@media screen and (max-width:800px){span.front-image{display:none}}.pagination{text-align:left}.pagination li{display:inline}.pagination a{padding:0 .2em}div.blogdescription{padding-left:1em;font-size:90%}div.blogdescription>img{max-width:150px;max-height:150px}div.tag-cloud{padding:5px 15px;text-align:center}div.tag-cloud ul{display:block;list-style-type:none}div.tag-cloud li{padding:.3em;display:inline-block}a[href$=".pdf"]:after{content:url(/i/pdf-icon.svg);width:12px;padding-left:2px}div.center{text-align:center}ul.subsecs{list-style-type:none;font-size:1.1em}img.me{float:right;width:150px;padding:1rem}div.gallery{display:inline-grid;grid-template-columns:1fr;grid-gap:1.5rem}@media screen and (min-width:768px){div.gallery{grid-template-columns:repeat(2,1fr)}}@media screen and (min-width:992px){div.gallery{grid-template-columns:repeat(3,1fr)}}ul.worklist{list-style:none}.ww-dd{padding-bottom:1em}.ww-dl-div{font-family:Lucida Grande,helvetica,arial,verdana,sans-serif;margin:.7em;font-size:90%}.ww-title{font-size:large;font-weight:700;margin:.25em 0 0;line-height:120%}.ww-author{font-weight:400;font-size:110%;text-decoration:none}.ww-content,.ww-content p{line-height:unset;margin-top:unset;font-weight:400;font-size:100%}.ww-item-div{line-height:130%}.hide-show.hidden{display:none}.js-hide-show.hidden .show-more{display:block}.js-hide-show .show-more{display:none}.js-hide-show.hidden .show-less{display:none}.js-hide-show .show-less{display:block}button.js-hide-show{background:0 0!important;border:none;padding:0!important;font:inherit;color:#613dc1;text-decoration:none;cursor:pointer;font-size:80%}button.js-hide-show .show-more::before{color:#000;content:"... "}button.js-hide-show .show-less::before{color:#000;content:" ";white-space:pre}button.js-hide-show:focus{outline:none}textarea{width:100%;padding:5px;border:2px solid #ccc;-webkit-border-radius:5px;border-radius:5px;height:160px;min-height:160px;font-size:1.1rem}input.email{padding:5px;border:1px solid #ccc;-webkit-border-radius:2px;border-radius:2px}button[type=submit]{margin-left:1.5em;color:#613dc1;height:1.4em;border:none;cursor:pointer;font-size:.9rem}form{display:inline}body{counter-reset:h2}h2{counter-reset:h3}h3{counter-reset:h4}h4{counter-reset:h5}article[autonumbering] h2:before{counter-increment:h2;content:counter(h2)". "}article[autonumbering] h3:before{counter-increment:h3;content:counter(h2)"." counter(h3)". "}article[autonumbering] h4:before{counter-increment:h4;content:counter(h2)"." counter(h3)"." counter(h4)". "}article[autonumbering] #TableOfContents ul{counter-reset:item}article[autonumbering] #TableOfContents li a:before{content:counters(item,".")". ";counter-increment:item}body{font-family:-apple-system,BlinkMacSystemFont,avenir next,Avenir,segoe ui,Roboto,Helvetica,Arial,sans-serif,apple color emoji,segoe ui emoji,segoe ui symbol}code{font-family:lucida console,Monaco,monospace;font-size:85%}pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*!Theme: Default
Description: Original highlight.js style
Author: (c) Ivan Sagalaev <maniac@softwaremaniacs.org>
Maintainer: @highlightjs/core-team
Website: https://highlightjs.org/
License: see project LICENSE
Touched: 2021*/pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}.hljs{background:#f3f3f3;color:#444}.hljs-subst{}.hljs-formula,.hljs-attr,.hljs-property,.hljs-params{}.hljs-comment{color:#697070}.hljs-tag,.hljs-punctuation{color:#444a}.hljs-tag .hljs-name,.hljs-tag .hljs-attr{color:#444}.hljs-keyword,.hljs-attribute,.hljs-selector-tag,.hljs-meta .hljs-keyword,.hljs-doctag,.hljs-name{font-weight:700}.hljs-type,.hljs-string,.hljs-number,.hljs-selector-id,.hljs-selector-class,.hljs-quote,.hljs-template-tag,.hljs-deletion{color:#800}.hljs-title,.hljs-section{color:#800;font-weight:700}.hljs-regexp,.hljs-symbol,.hljs-variable,.hljs-template-variable,.hljs-link,.hljs-selector-attr,.hljs-operator,.hljs-selector-pseudo{color:#ab5656}.hljs-literal{color:#695}.hljs-built_in,.hljs-bullet,.hljs-code,.hljs-addition{color:#397300}.hljs-meta{color:#1f7199}.hljs-meta .hljs-string{color:#38a}.hljs-emphasis{font-style:italic}.hljs-strong{font-weight:700}body{display:grid;grid-gap:10px;grid-template-columns:auto 200px;grid-template-areas:"header header" "meta   meta" "content sidebar" "footer  footer";max-width:1000px;margin:auto;padding:.3em}pre{max-width:800px}@media(max-width:900px){pre{max-width:700px}}@media(max-width:800px){pre{max-width:600px}}@media(max-width:700px){pre{max-width:500px}}@media(max-width:500px){pre{max-width:400px}.sidenote-number:after,.sidenote:before,label.margin-toggle{padding-right:1px}}@media(max-width:400px){pre{max-width:300px}}footer{grid-area:footer}header{grid-area:header}main{grid-area:content}div.article-meta{grid-area:meta}div.figure,figure{text-align:center}p.caption,figcaption{text-align:left}span.mcap:before,p.caption:before,figcaption:before{content:"Figure " counter(figure)". ";counter-increment:figure;font-weight:700;font-style:normal}img.staysmall{max-width:200px}div.mfigure,figcaption,p.caption,.sidenote,.marginnote{float:right;clear:right;margin-right:-200px;margin-top:0;margin-bottom:0;width:180px;vertical-align:baseline;position:relative}div.mfigure img{width:100%}img,svg{max-width:95%}div.constrained{display:inline-block;width:90%}div.plotly-graph-div{width:500px;display:inline-block;height:auto}img.wide{width:500px;max-width:95%}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{position:relative;vertical-align:baseline}.sidenote-number:after{content:counter(sidenote-counter);font-size:.8rem;top:-.5rem}.sidenote:before{content:counter(sidenote-counter)" ";font-size:.8rem;top:-.5rem}blockquote .sidenote,blockquote .marginnote{text-align:left}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}@media(max-width:1020px){body{display:grid;grid-gap:10px;grid-template-columns:auto;grid-template-areas:"header" "meta" "content" "footer";max-width:800px;margin:auto;padding:.3em}label.margin-toggle:not(.sidenote-number){display:inline}.sidenote,.marginnote{display:none}.margin-toggle:checked+.sidenote,.margin-toggle:checked+.marginnote,p.caption,figcaption{display:block;float:left;left:1rem;clear:both;width:95%;margin:1rem 2.5%;vertical-align:baseline;position:relative}div.mfigure{float:right;clear:right;width:180px;margin-right:1rem;padding-left:1rem;display:block}p.caption,figcaption{margin-bottom:2.5%}label{cursor:pointer}.sidenote-number:after,.sidenote:before,label.margin-toggle{color:#613dc1}}body{counter-reset:theorem lemma proposition corollary definition example remark note conjecture problem question answer sidenote-counter figure}.remark,.answer,.question,.proof,.definition,.claim{display:block;margin:12px 0}div.theorem,div.lemma,div.proposition,div.corollary{display:block;margin:12px 0;font-style:italic}span.theorem,span.lemma,span.proposition,span.corollary{font-style:normal}div.theorem span.sidenote,div.theorem span.marginnote,div.lemma span.sidenote,div.lemma span.marginnote,div.proposition span.sidenote,div.proposition span.marginnote,div.corollary span.sidenote,div.corollary span.marginnote{font-style:normal}.proof>p:first-child{margin-top:-.25rem}.remark>p:first-child{margin-top:-.25rem}.claim>p:first-child{margin-top:-.25rem}.claim:before{content:"Claim.";font-weight:700;font-style:normal}.remark:before{content:"Remark.";font-weight:700;font-style:normal;margin-bottom:-1rem}.question:before{content:"Question " counter(question)".";counter-increment:question;font-weight:700;font-style:normal;font-size:2rem}.answer:before{content:"Answer.";font-weight:700;font-style:normal}.proof:before{content:"Proof.";font-style:italic}.proof:after{margin-top:-2rem;content:"\25FC";float:right}.definition:before{content:"Definition.";font-weight:700;font-style:normal}