@charset "UTF-8";#post-content hr{border:none;margin:1.5em 0 3rem;text-align:center}#post-content hr::after{content:"···";letter-spacing:2em;padding-left:2em}del{margin-inline-start:3px!important;margin-inline-end:3px!important;text-decoration-thickness:2px;color:#777}#post-content blockquote{position:relative;background-color:#fff;padding-left:3.2em;border:none}#post-content blockquote::before{position:absolute;left:.5em;content:'“';color:var(--color-contrast-low);font-family:lora,amstelvar,noto serif sc,serif;font-size:3em;font-weight:700;line-height:.8}#post-content blockquote.poetry{display:table;padding:0}#post-content blockquote.poetry::before{left:-1em}#post-content blockquote.poetry p:last-child{margin:0}#post-content blockquote.en p{line-height:1.618;text-align:left;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto}body.night del{color:gray!important}body.night code{background:rgba(25,118,210,.18)}body.night #post-content hr{color:#e6e6e6}body.night #post-content blockquote{background-color:#282828}div.thm{margin-top:1rem;margin-bottom:1.5rem;margin-left:1rem;margin-right:1rem}div.thm p{text-align:left!important}div.thm p.thm-title{font-weight:700;font-style:normal;margin-bottom:0;font-size:1.2em}div.thm-inner{margin:0;padding:0 12px;padding-right:0;padding-bottom:5px;border-left:3px solid;border-bottom:3px solid}div.thm-inner p{padding:0!important;margin-bottom:5px!important}div.thm-inner ol,div.thm-inner ul{margin-block-start:5px;margin-block-end:5px}div.thm-inner ol li,div.thm-inner ul li{margin-bottom:3.5px}div.thm-inner.thm-theorem{border-color:#777}div.thm-inner.thm-proposition{border-color:orange}div.thm-inner.thm-corollary{border-color:#81b6a1}div.thm-inner.thm-lemma{border-color:grey}div.thm-inner.thm-definition{border-color:#2c96cf}div.thm-inner.thm-remark{border-color:green}div.thm-inner.thm-assumption{border-color:#238d7f}div.thm .thm-title-proof{font-weight:700;font-style:italic;margin-bottom:0;font-size:1.2em}.thm-inner-proof{padding:5px 0;margin-bottom:0!important}.thm-inner-proof p{padding-bottom:0;margin-bottom:8px!important}@media screen and (max-width:1020px){.thm-inner-proof p{text-align:left!important}}.thm-end-proof{text-align:right!important;font-size:100%}.thm-end-proof a path{color:#1976d2!important}button.collapsible{background-color:#dee6ee;cursor:pointer;padding:3px 6px;width:100%;border:none;border-radius:3.5px;text-align:left;outline:none}button.collapsible .thm-title-proof::after{content:"+";float:right;margin-left:5px}button.active,.collapsible:hover{background-color:#bccddd}.active .thm-title-proof::after{content:"-"!important}.proof-content{display:none;border-left:3px solid;border-bottom:3px solid;border-color:#777;padding:0 12px;padding-right:0}figure{margin:2rem 0}figcaption{color:#777;font-family:roboto}.MathJax{min-width:0!important}body.night defs path{color:#e6e6e6}body.night .MathJax,body.night .thm-inner{color:#e6e6e6}body.night .MathJax *:not(a),body.night .thm-inner *:not(a){color:#e6e6e6}body.night .thm-end-proof path{color:#e6e6e6}p:empty{display:none}p em,li em{font-family:Lora,lxgw wenkai screen r,serif}ol.alph{list-style-type:lower-alpha!important}li{margin-bottom:5px}label{margin-bottom:unset}heti-spacing[class=heti-spacing-end]>mjx-container{white-space:nowrap}.toc-content ul{padding-left:5px;padding-right:5px;margin-top:10px;font-family:Lora,lxgw wenkai screen r,serif;font-style:italic}.toc-content ul ul ul{padding-left:10px;margin-top:0;border-left:3px solid;border-left-color:#dee6ee}.toc-content center{font-family:sans-serif;font-weight:600}