figcaption{line-height:1.25;width:80%;font-family:"myriad-pro";font-size:0.8rem}img{margin-bottom:1rem}p{line-height:1.25}ul{line-height:1.25;max-width:33em}ol{line-height:1.25;max-width:33em}h1{font-family:"myriad-pro";padding-top:1.3rem;padding-bottom:1.3rem;font-size:1.4rem;color:maroon}h2{font-family:"myriad-pro";font-size:1.2rem;padding-top:1.1rem;color:maroon}h3{font-size:1.1rem;padding-top:1.1rem;font-style:italic;color:#555}a:link:not(.tag-button):not(.tag-button-small):not(.category-button):not(.category-button-small):not(.tag-cloud-button):not(.tag):not(.category-tag):not(.category-tag-small),a:visited:not(.tag-button):not(.tag-button-small):not(.category-button):not(.category-button-small):not(.tag-cloud-button):not(.tag):not(.category-tag):not(.category-tag-small){color:maroon}.footer-links a:link:not(.tag-button):not(.tag-button-small):not(.category-button):not(.category-button-small):not(.tag-cloud-button):not(.tag):not(.category-tag):not(.category-tag-small),.footer-links a:visited:not(.tag-button):not(.tag-button-small):not(.category-button):not(.category-button-small):not(.tag-cloud-button):not(.tag):not(.category-tag):not(.category-tag-small){color:#888;transition:color 0.2s ease}.footer-links a:hover:not(.tag-button):not(.tag-button-small):not(.category-button):not(.category-button-small):not(.tag-cloud-button):not(.tag):not(.category-tag):not(.category-tag-small){color:maroon}a:hover{text-decoration:underline}.navbar{background-color:white!important;border-bottom:1px solid #efefef;margin-bottom:0;padding:0.75rem 0}.navbar-brand{font-family:"myriad-pro",sans-serif!important;font-size:2.2rem!important;color:maroon!important;font-weight:normal!important;text-decoration:none!important}.navbar-brand:hover{color:maroon!important;text-decoration:none!important}.nav-link{font-family:"myriad-pro"!important;letter-spacing:0.05rem!important;text-transform:uppercase!important;color:#555!important;font-weight:400!important;font-size:0.9rem!important;transition:color 0.2s ease!important;padding:0.5rem 0.75rem!important}.nav-link:hover{color:maroon!important}.featurette-divider{border-color:#efefef;margin:0 0 1.5rem 0;border-width:0.5px;width:100%}.navbar-nav{padding-top:0!important}.nav-item{margin-left:0.25rem}.container{display:flex;justify-content:space-between;align-items:flex-start}.avatar{border-radius:50%;width:25%;object-fit:cover;float:left;margin-right:20px;margin-left:-18px}.text-block{display:block}.posts{border-top:1px solid #efefef;margin-top:30px;padding-top:20px}.news-items-home,.posts-items-home{margin-top:15px}.news-item-home,.post-item-home{line-height:1.4}.news-item-home:last-child,.post-item-home:last-child{margin-bottom:0}.news-date-home,.post-date-home{color:#666;font-size:0.9rem;font-style:italic;margin-right:10px}.view-all-link{color:maroon;text-decoration:none;font-size:0.9rem;font-style:italic;margin-top:15px;display:inline-block}.view-all-link:hover{text-decoration:underline}.sourceCode{font-family:Menlo,Consolas,monospace}code{font-size:0.7em;font-family:Consolas,Menlo;background:#f5f5f5;color:maroon;padding:2px 4px;border-radius:3px}pre{background-color:#f8f9fa;border:1px solid #e1e8ed;border-radius:4px;padding:1rem;overflow-x:auto;font-family:Menlo,Consolas,monospace;font-size:0.85rem;line-height:1.4;margin:1rem 0}pre code{background:none;padding:0;color:inherit}.cv-pdf{font-size:1.0rem;font-style:italic;color:maroon;text-decoration:none}.cv-pdf:hover{text-decoration:underline}#TOC{background-color:#f8f9fa;border:1px solid #e1e8ed;border-radius:6px;padding:1.5rem;margin:2rem 0;max-width:400px}#TOC::before{content:"Table of Contents";font-family:"myriad-pro";font-weight:bold;font-size:1.1rem;color:maroon;display:block;margin-bottom:1rem;border-bottom:1px solid #e1e8ed;padding-bottom:0.5rem}#TOC ul{list-style-type:none;margin:0;padding-left:0;max-width:none;line-height:1.4}#TOC ul ul{padding-left:1.5rem;margin-top:0.5rem}#TOC li{margin-bottom:0.5rem}#TOC a{color:maroon;text-decoration:none;font-size:0.95rem}#TOC a:hover{text-decoration:underline}.page-header{border-bottom:1px solid #efefef;margin-bottom:2rem;padding-bottom:1rem}.page-title{font-family:"myriad-pro";font-size:2rem;color:maroon;padding-top:0;margin-bottom:0.5rem}.page-subtitle{font-style:italic;color:#666}.page-description{color:#555;font-style:italic;margin-top:0.5rem}.page-content{line-height:1.6}.site-footer{border-top:1px solid #efefef;margin-top:3rem;padding:2rem 0;text-align:center}.footer-content{max-width:800px;margin:0 auto}.footer-links{margin-bottom:1rem}.footer-links a{color:#888;font-size:1.5rem;margin:0 1rem;text-decoration:none;transition:color 0.2s ease}.footer-links a:hover{color:#333}.footer-text{color:#666;font-size:0.9rem;margin:0}.footer-text a{color:maroon;text-decoration:none}.footer-text a:hover{text-decoration:underline}.back-link{margin-bottom:1rem}.back-link a{display:inline-block;color:#666;text-decoration:none;font-size:0.9rem;transition:color 0.2s ease}.back-link a:hover{color:maroon;text-decoration:none}.post-header,.news-header{border-bottom:1px solid #efefef;margin-bottom:2rem;padding-bottom:1.5rem}.post-title,.news-title{font-family:"myriad-pro";color:maroon;font-size:1.6rem;padding-top:0;margin-bottom:0.5rem}.post-meta,.news-date{color:#666;font-style:italic;font-size:0.9rem;margin-bottom:1rem}.post-description{font-size:1.1rem;color:#555;font-style:italic;line-height:1.5;margin:1rem 0;padding:1rem;background-color:#f8f9fa;border-left:4px solid maroon;border-radius:0 4px 4px 0}.post-footer{margin-top:2rem;padding-top:1.5rem;border-top:1px solid #e1e8ed}.post-categories,.post-tags,.post-item-categories,.post-item-tags{margin-bottom:1rem}.post-categories strong,.post-tags strong,.post-item-categories strong,.post-item-tags strong{color:#555;font-size:0.9rem;margin-right:0.5rem;display:inline-block;margin-bottom:0.5rem}.category-buttons,.tag-buttons,.category-buttons-small,.tag-buttons-small{display:inline-block}.category-button{display:inline-block;background-color:#4A5568;color:white;padding:6px 14px;margin:2px 4px 4px 0;border-radius:16px;text-decoration:none;font-size:0.85rem;font-weight:500;font-family:"myriad-pro",sans-serif;transition:all 0.2s ease;border:none;cursor:pointer}.category-button:hover{background-color:#2D3748;color:white;text-decoration:none;transform:translateY(-1px);box-shadow:0 2px 4px rgba(0,0,0,0.2)}.tag-button{display:inline-block;background-color:maroon;color:white;padding:6px 14px;margin:2px 4px 4px 0;border-radius:16px;text-decoration:none;font-size:0.85rem;font-weight:500;font-family:"myriad-pro",sans-serif;transition:all 0.2s ease;border:none;cursor:pointer}.tag-button:hover{background-color:#A00000;color:white;text-decoration:none;transform:translateY(-1px);box-shadow:0 2px 4px rgba(0,0,0,0.2)}.category-button-small{display:inline-block;background-color:#6c757d;color:white;padding:4px 10px;margin:2px 3px 3px 0;border-radius:12px;text-decoration:none;font-size:0.75rem;font-weight:500;font-family:"myriad-pro",sans-serif;transition:all 0.2s ease;border:none;cursor:pointer}.category-button-small:hover{background-color:#545b62;color:white;text-decoration:none;transform:translateY(-1px);box-shadow:0 1px 3px rgba(0,0,0,0.2)}.tag-button-small{display:inline-block;background-color:maroon;color:white;padding:4px 10px;margin:2px 3px 3px 0;border-radius:12px;text-decoration:none;font-size:0.75rem;font-weight:500;font-family:"myriad-pro",sans-serif;transition:all 0.2s ease;border:none;cursor:pointer}.tag-button-small:hover{background-color:#A00000;color:white;text-decoration:none;transform:translateY(-1px);box-shadow:0 1px 3px rgba(0,0,0,0.2)}.tag-cloud-button{display:inline-block;background-color:maroon;color:white;padding:6px 14px;margin:3px 4px;border-radius:16px;text-decoration:none;font-size:0.85rem;font-weight:500;font-family:"myriad-pro",sans-serif;transition:all 0.2s ease}.tag-cloud-button:hover{background-color:#A00000;color:white;text-decoration:none;transform:translateY(-1px);box-shadow:0 2px 4px rgba(0,0,0,0.2)}.category-tag,.tag{display:inline-block;background-color:maroon;color:white;padding:6px 14px;margin:2px 4px 4px 0;border-radius:16px;text-decoration:none;font-size:0.85rem;font-weight:500;font-family:"myriad-pro",sans-serif;transition:all 0.2s ease}.category-tag:hover,.tag:hover{background-color:#A00000;color:white;text-decoration:none;transform:translateY(-1px);box-shadow:0 2px 4px rgba(0,0,0,0.2)}.category-tag{background-color:#4A5568}.category-tag:hover{background-color:#2D3748}.category-tag-small{display:inline-block;background-color:#6c757d;color:white;padding:4px 10px;margin:2px 3px 3px 0;border-radius:12px;text-decoration:none;font-size:0.75rem;font-weight:500;font-family:"myriad-pro",sans-serif;transition:all 0.2s ease}.category-tag-small:hover{background-color:#545b62;color:white;text-decoration:none;transform:translateY(-1px);box-shadow:0 1px 3px rgba(0,0,0,0.2)}.news-venue{margin-top:0.5rem}.news-venue a{background-color:#f1f3f4;color:maroon;padding:0.25rem 0.5rem;border-radius:3px;text-decoration:none;font-size:0.85rem;font-weight:500}.news-venue a:hover:not(.tag-button):not(.tag-button-small):not(.category-button):not(.category-button-small):not(.tag-cloud-button):not(.tag):not(.category-tag):not(.category-tag-small){background-color:maroon;color:white!important}.paper-link{margin-top:1rem;font-weight:500}.paper-link a{color:maroon;text-decoration:none}.paper-link a:hover{text-decoration:underline}.post-content{line-height:1.6}.post-list,.news-items{margin-top:1.5rem}.post-item,.news-item-preview{margin-bottom:1.5rem;padding-bottom:1rem;border-bottom:1px solid #f5f5f5}.post-item:last-child,.news-item-preview:last-child{border-bottom:none}.post-item-title a,.news-item-title a{color:maroon;text-decoration:none;font-family:"myriad-pro";font-size:1.2rem}.post-item-title a:hover,.news-item-title a:hover{text-decoration:underline}.post-item-meta{margin:0.25rem 0 0.5rem 0}.post-item-date,.news-item-date,.post-item-author{color:#666;font-style:italic;font-size:0.9rem}.post-item-author{margin-left:1rem}.post-item-description{color:#555;line-height:1.5;margin:0.5rem 0}.post-item-categories{margin-top:0.5rem}.theorem,.definition,.lemma,.corollary,.remark{border-left:4px solid maroon;background-color:#fafafa;padding:1rem 1.5rem;margin:1.5rem 0;border-radius:0 4px 4px 0}.proof{border-left:3px solid #ccc;padding-left:1rem;margin:1rem 0;font-style:italic}.proof::before{content:"Proof. ";font-weight:bold;font-style:normal}.proof::after{content:" ∎";float:right;font-style:normal}.error-container{text-align:center;margin:4rem 0}.error-title{font-family:"myriad-pro";font-size:4rem;color:maroon;margin-bottom:1rem}.error-subtitle{font-family:"myriad-pro";font-size:1.5rem;margin-bottom:1rem}.error-message{line-height:1.4;margin-bottom:2rem}.error-actions a{margin:0 0.5rem;padding:0.5rem 1rem;border:1px solid maroon;text-decoration:none;color:maroon;font-family:"myriad-pro";font-size:0.9rem;text-transform:uppercase;letter-spacing:0.1rem}.error-actions a:hover{background-color:maroon;color:white}@media (max-width:768px){body{padding:1rem}.nav-container{flex-direction:column;gap:1rem}.container{flex-direction:column}.avatar{width:150px;height:150px;margin:0 auto 1rem auto;float:none}.error-title{font-size:3rem}#TOC{max-width:100%}}@media (max-width:480px){.avatar{width:120px;height:120px}h1{font-size:1.1rem}h2{font-size:1rem}}
code[class*=language-],pre[class*=language-]{color:#000;background:0 0;text-shadow:0 1px #fff;font-family:Consolas,Monaco,'Andale Mono','Ubuntu Mono',monospace;font-size:1em;text-align:left;white-space:pre;word-spacing:normal;word-break:normal;word-wrap:normal;line-height:1.5;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-hyphens:none;-moz-hyphens:none;-ms-hyphens:none;hyphens:none}code[class*=language-] ::-moz-selection,code[class*=language-]::-moz-selection,pre[class*=language-] ::-moz-selection,pre[class*=language-]::-moz-selection{text-shadow:none;background:#b3d4fc}code[class*=language-] ::selection,code[class*=language-]::selection,pre[class*=language-] ::selection,pre[class*=language-]::selection{text-shadow:none;background:#b3d4fc}@media print{code[class*=language-],pre[class*=language-]{text-shadow:none}}pre[class*=language-]{padding:1em;margin:.5em 0;overflow:auto}:not(pre)>code[class*=language-],pre[class*=language-]{background:#f5f2f0}:not(pre)>code[class*=language-]{padding:.1em;border-radius:.3em;white-space:normal}.token.cdata,.token.comment,.token.doctype,.token.prolog{color:#708090}.token.punctuation{color:#999}.token.namespace{opacity:.7}.token.boolean,.token.constant,.token.deleted,.token.number,.token.property,.token.symbol,.token.tag{color:#905}.token.attr-name,.token.builtin,.token.char,.token.inserted,.token.selector,.token.string{color:#690}.language-css .token.string,.style .token.string,.token.entity,.token.operator,.token.url{color:#9a6e3a;background:hsla(0,0%,100%,.5)}.token.atrule,.token.attr-value,.token.keyword{color:#07a}.token.class-name,.token.function{color:#dd4a68}.token.important,.token.regex,.token.variable{color:#e90}.token.bold,.token.important{font-weight:700}.token.italic{font-style:italic}.token.entity{cursor:help}
*{margin:0;padding:0}details{margin-top:15px;cursor:pointer}body{font-family:"Merriweather",Georgia,serif;font-weight:400;font-size:18px;line-height:1.6;background:white;transition:background-color 0.5s,color 0.5s,border-color 0.5s;color:#555;-webkit-text-size-adjust:100%;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}.theme_btn{float:right;cursor:pointer;filter:invert(23%) sepia(19%) saturate(3512%) hue-rotate(214deg) brightness(87%) contrast(103%)}#main-nav .main .theme_btn,.mobile-header .theme_btn{display:none}@media screen and (max-width:766px){#main-nav .main .theme_btn{display:block}.mobile-header .theme_btn,#header>.theme_btn{display:none}}@media screen and (max-width:600px){.mobile-header .theme_btn{display:block}#main-nav .main .theme_btn,#header>.theme_btn{display:none}.mobile-header{display:flex}.mobile-header #mobile-nav{display:flex;flex-basis:auto;flex-grow:1;flex-shrink:0}.mobile-header .theme_btn{padding-left:15px}}.page-wrapper{padding:0 20px;margin:0 auto;width:720px}@media screen and (max-width:766px){.page-wrapper{width:auto}}h1{font-size:1.6em}h2{font-size:1.3em}h3{font-size:1.1em}a{text-decoration:none;outline-width:0;color:#258fb8}.notfound{text-align:center}h1.notfound{margin-top:25px;font-size:4em}p.notfound{margin:35px 0 20px 0}.center{margin-left:auto;margin-right:auto}.clear{clear:both}.left{float:left;margin-right:1.5em;margin-bottom:15px}.left>*{margin-top:10px!important}@media screen and (max-width:600px){.left{float:none;display:block;margin-left:auto;margin-right:auto}}.right{float:right;margin-left:1.5em;margin-bottom:15px}.right>*{margin-top:10px!important}@media screen and (max-width:600px){.right{float:none;display:block;margin-left:auto;margin-right:auto}}select,textarea,input[type="text"],input[type="password"],input[type="datetime"],input[type="datetime-local"],input[type="date"],input[type="month"],input[type="time"],input[type="week"],input[type="number"],input[type="email"],input[type="url"],input[type="search_box"],input[type="tel"],input[type="color"]{font-size:16px}html.dark{color-scheme:dark}html.dark body{background-color:#22272e;color:#adbac7;border-top-color:#1e3a8a}html.dark .theme_btn{filter:invert(74%) sepia(60%) saturate(607%) hue-rotate(349deg) brightness(100%) contrast(98%)}html.dark a{color:#539bf5}.hn-comment{font-family:Verdana,Geneva,sans-serif!important;font-size:10pt!important;color:#828282!important;background-color:#f6f6ef!important;margin-top:15px!important}.hn-mast{background-color:#ff6600!important;padding:7px 10px!important}.hn-banner{display:inline-block!important;width:18px!important;padding-right:4px!important}.hn-mast a:link,.hn-mast a:visited{color:#000000!important;text-decoration:none!important}.hn-mast .pagetop{font-family:Verdana,Geneva,sans-serif!important;font-size:10pt!important;color:#222222!important;line-height:12px!important;display:inline-block!important}.hn-mast .hnname{margin-right:5px!important;margin-left:5px!important}.hn-mast img{margin-top:0!important;vertical-align:middle!important}.hn-mast-center-links{display:inline-block!important}@media screen and (max-width:600px){.hn-mast-center-links{display:none!important}}.hn-comment-area{padding:10px!important}.hn-comhead{font-family:Verdana,Geneva,sans-serif!important;font-size:8pt!important;color:#828282!important}.hn-comhead a:link,.hn-comhead a:visited,.hn-subtext a:link,.hn-subtext a:visited{color:#828282!important}.hn-comment-body{font-size:9pt!important;color:#000!important}html.dark .hn-comment-body code,.page-wrapper{padding:0 20px;margin:0 auto;width:720px}article .entry-content{max-width:650px;margin:0 auto}@media screen and (max-width:766px){.page-wrapper{width:auto}article .entry-content{max-width:100%}}.hn-comment-body p{margin-top:5px!important}.hn-comment-reply{font-size:10px!important;margin-top:5px!important}.hn-comment-reply a{color:#000!important}.hn-image{margin-top:5px}.hn-image img{vertical-align:bottom!important;margin-top:0!important}#header{height:30px;padding:25px 0;border-bottom:1px solid #efefef;transition:border-bottom-color 0.5s}@media screen and (max-width:766px){#header{text-align:center;height:auto;position:relative;padding-bottom:10px}}#header a{color:#555;transition:color 0.3s}@media not screen and (max-width:600px),not screen and (max-width:766px){#header a:hover{color:#258fb8}}#header #stamp{float:left;font-size:14px;text-transform:uppercase;font-family:"Noto Sans",Helvetica,Arial,sans-serif}#header #stamp .emboldened{font-weight:bold}@media screen and (max-width:766px){#header #stamp{float:none;text-align:center;display:inline-block;margin:0 auto}}#header #stamp #name{font-size:2em;line-height:1;font-weight:400}#header #stamp #pseudonym{color:#555;text-align:right;cursor:default;font-weight:400}html.dark #header{border-bottom-color:#373e47;transition:border-bottom-color 0.5s}html.dark #header #name a{color:#d7d7d7}html.dark #header a{color:#adbac7}html.dark #header a:hover{color:#539bf5}html.dark #mobile-nav .menu .button,html.dark #mobile-nav .menu .container{background-color:#373e47;border-color:#444c56}#main-nav{float:left}@media screen and (max-width:766px){#main-nav{text-align:center;float:none;margin-left:0;margin-top:15px}}@media screen and (max-width:600px){#main-nav>ul{display:none}}#main-nav>ul>li{margin-left:25px;display:inline-block;vertical-align:text-bottom}@media screen and (max-width:766px){#main-nav>ul>li{margin-left:0;margin-right:50px}#main-nav>ul>li:last-of-type{margin-right:0}}@media not screen and (max-width:600px),not screen and (max-width:766px){#main-nav>ul>li:hover>a{color:#258fb8}}#main-nav>ul>li>a{text-transform:lowercase}#main-nav>ul>li>a:after{padding-left:0}@media screen and (max-width:766px){#main-nav>ul>li>a{padding:16px 0}}#main-nav>ul>li.button{margin-left:5px;vertical-align:middle}#main-nav>ul li{position:relative}@media not screen and (max-width:600px),not screen and (max-width:766px){#main-nav>ul li:hover>ul{display:block}}#mobile-nav{display:none;height:37px;line-height:30px;position:relative}@media screen and (max-width:600px){#mobile-nav{display:block;text-align:left}}#mobile-nav a{display:block}#mobile-nav .button{cursor:pointer}#mobile-nav .container{display:none}#mobile-nav .menu{position:relative;width:100%;float:left}#mobile-nav .menu .button{background:#f2f2f2;border:1px solid #ddd;color:#999;padding:0 60px 0 10px;position:relative;border-radius:5px}@media not screen and (max-width:600px),not screen and (max-width:766px){#mobile-nav .menu .button:hover{color:#999}}#mobile-nav .menu .button.on{color:#555;border-radius:5px 5px 0 0}#mobile-nav .menu .button.on:before{content:"\f077"}#mobile-nav .menu .button:before{content:"\f078";color:#ddd;font:16px "Font Awesome 5 Free";line-height:30px;position:absolute;top:0;right:10px}#mobile-nav .menu .container{background:#f2f2f2;border:1px solid #ddd;border-top:none;position:absolute;top:31px;z-index:1;border-radius:0 0 5px 5px}#mobile-nav .menu .container ul{list-style:none}#mobile-nav .menu .container ul ul{margin-left:20px}#mobile-nav .menu .container a{padding:0 10px}#mobile-nav .search{position:absolute;float:right;top:0;right:0}#mobile-nav .search .button{background:#ddd;width:30px;height:30px;position:absolute;top:1px;right:-1px;border-radius:0 5px 5px 0}#mobile-nav .search .button:before{content:"\f002";color:#f2f2f2;font:20px "Font Awesome 5 Free";line-height:30px;position:absolute;top:0;left:7px}#mobile-nav .search .button.on{background:#ccc}#mobile-nav .search .button.on:before{content:"\f00d"}#mobile-nav .search .container{position:absolute;right:51px;z-index:1}#mobile-nav .search input[type="text"]{background:#fff;border:1px solid #ddd;border-right:none;color:#555;font-family:"Merriweather",Georgia,serif;height:30px;width:100%;padding:0 10px;border-radius:5px 0 0 5px}.desk_search{display:none;padding-bottom:15px}#search_box{width:100%;border:1px solid #ddd;box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box;padding:5px;font-family:"Merriweather",Georgia,serif}#search_box:focus{outline:none}#search_btn{cursor:pointer}article{position:relative;margin-top:15px}article h2.title{font-weight:400;margin-bottom:5px}article h2.title a{color:#555;transition:color 0.3s;display:inline-block;width:100%}article h2.title a:hover{color:#258fb8}@media not screen and (max-width:600px),not screen and (max-width:766px){article h2.title a:hover{text-decoration:underline}}article .entry-content{font-family:"myriad-pro";padding-bottom:1px;counter-reset:h1counter h2counter h3counter h4counter h5counter}article .entry-content .mermaid{margin-top:15px;text-align:center}article .entry-content span.highlight,article .entry-content mark{background-color:#ffe9a8;padding:2px 5px;color:inherit}article .entry-content div.note{background-color:#ffecb5;padding:10px;margin:10px 0}article .entry-content h1,article .entry-content h2,article .entry-content h3,article .entry-content h4,article .entry-content h5{line-height:2}@media not screen and (max-width:600px),not screen and (max-width:766px){article .entry-content a:hover{text-decoration:underline}}article .entry-content ul,article .entry-content ol,article .entry-content dl{margin-left:20px}article .entry-content ul ul,article .entry-content ul ol,article .entry-content ul dl,article .entry-content ol ul,article .entry-content ol ol,article .entry-content ol dl,article .entry-content dl ul,article .entry-content dl ol,article .entry-content dl dl{margin-top:0}article .entry-content ul li p,article .entry-content ol li p{margin-bottom:10px}article .entry-content ul li p:only-of-type,article .entry-content ol li p:only-of-type{margin-top:0;margin-bottom:0}article .entry-content strong{color:#333}article .entry-content em{font-style:italic}article .entry-content img,article .entry-content video{max-width:100%;height:auto}article .entry-content img.center{display:block;clear:both}article .entry-content iframe{border:none}article .entry-content .twitter-tweet{margin:20px auto!important}article .entry-content table{width:100%;border-collapse:collapse;margin:20px 0;font-size:1em;border:1px solid #ddd}article .entry-content table th{background:#ccc;padding:0 15px}article .entry-content hr{background-color:#efefef;transition:background-color 0.5s,color 0.5s;border:0;height:1px;color:#cccccc;margin:35px auto;width:50%;clear:both}article .entry-content table code{background-color:inherit;padding:0}article .entry-content blockquote{margin-top:25px;margin-bottom:25px;margin-left:10px;padding-left:15px;border-left:2px solid #999}@media screen and (max-width:600px){article .entry-content blockquote{margin-left:5px;padding-left:10px;text-align:justify;-webkit-hyphens:auto;-moz-hyphens:auto;hyphens:auto}}article .entry-content blockquote cite{text-align:left;font-size:0.9em;font-style:italic;font-weight:400}article .entry-content blockquote cite code{background-color:inherit;padding:0}article .entry-content blockquote cite:before{content:"\2014";margin-right:5px}article .entry-content kbd{background-color:#dddddd;background-image:linear-gradient(#f1f1f1,#ddd);background-repeat:repeat-x;border-radius:2px;border:1px solid #ddd;border-bottom-color:#ccc;border-right-color:#ccc;padding:1px 4px;cursor:default}article .entry-content table th{background-color:#f4f4f4;color:#333;padding:10px;text-align:left;border-bottom:2px solid #ddd}article .entry-content table td{padding:10px;border-bottom:1px solid #ddd}article .entry-content table tr:nth-child(even){background-color:#f9f9f9}html.dark article .entry-content table{background:#2d333b;color:#adbac7;border:1px solid #444c56}html.dark article .entry-content table th{background:#373e47;color:#adbac7}html.dark article .entry-content table tr:nth-child(even){background:#22272e}article .entry-content aside.table-caption{text-align:center}article .entry-content abbr{cursor:default;border-bottom:1px solid #ccc}article .entry-content sup[id^="fnref"]{color:#990000;vertical-align:baseline;font-family:Menlo,Monaco,"DejaVu Sans Mono",Consolas,monospace;font-size:inherit}article .entry-content sup[id^="fnref"] a{color:#990000}article .entry-content sup[id^="fnref"] a:before{content:"[#"}article .entry-content sup[id^="fnref"] a:after{content:"]"}article .entry-content .footnotes{font-size:0.8em;padding:0 25px}@media screen and (max-width:600px){article .entry-content .footnotes{padding:0;font-size:0.9em}}article .entry-content .footnotes p:last-of-type{display:inline}article .entry-content .footnotes a[href^="#fnref"]{font-size:1em;margin-left:5px}article .entry-content .footnotes p{line-height:1.67}@media screen and (max-width:600px){article .entry-content .footnotes p{line-height:1.5}}article .entry-content .footnotes li{margin-bottom:5px}article .entry-content .footnotes li p:last-child{margin-bottom:0}article .entry-content .footnotes hr{padding:0;text-align:center;width:100%;background-color:#efefef;margin:30px auto 20px;height:1px;overflow:visible}article .entry-content .footnotes hr:after{content:"\00A7";cursor:default;display:inline-block;position:relative;font-size:1.8em;padding:0 0.25em;background:white;transition:background-color 0.5s;top:-0.8em}article .entry-content hr.book{padding:0;text-align:center;width:50%;background-color:#efefef;transition:background-color 0.5s,color 0.5s;margin:30px auto;height:1px;overflow:visible}article .entry-content hr.book:after{font-family:"Font Awesome 5 Free";font-weight:900;content:"\f02e";cursor:default;display:inline-block;position:relative;font-size:1.3em;background:white;transition:background-color 0.5s;top:-0.7em}article .entry-content sup{line-height:1}article .entry-content #toc.right-toc{float:right;margin-left:15px;margin-bottom:15px;margin-top:0;padding:0}@media screen and (max-width:600px){article .entry-content #toc.right-toc{float:none;padding:0;margin-left:0;margin-top:10px}}article .entry-content #toc.right-toc h3{line-height:1;margin-top:4px}article .entry-content p~#toc.right-toc h3{margin-top:18px}article .entry-content #toc{margin-top:10px}article .entry-content #toc p{font-weight:bold;margin-top:0}article .entry-content #toc>ol{margin-left:0;margin-top:5px;font-size:0.9em}article .entry-content #toc ol{counter-reset:item;margin-bottom:0}article .entry-content #toc ol>li:before{position:unset;font-family:unset}article .entry-content #toc li{margin-top:0;display:block}@media screen and (max-width:600px){article .entry-content #toc li{line-height:1.69}}article .entry-content #toc li:before{content:counters(item,".") ". ";counter-increment:item}article .entry-content #toc:after{clear:both}article .entry-content h1,article .entry-content h2,article .entry-content h3,article .entry-content h4,article .entry-content h5{overflow:hidden;position:static;font-weight:400}@media not screen and (max-width:600px),not screen and (max-width:766px){article .entry-content h1:hover .hash,article .entry-content h2:hover .hash,article .entry-content h3:hover .hash,article .entry-content h4:hover .hash,article .entry-content h5:hover .hash{color:#ccc;display:block}}article .entry-content h1 .hash,article .entry-content h2 .hash,article .entry-content h3 .hash,article .entry-content h4 .hash,article .entry-content h5 .hash{color:#ddd;transition:color 0.3s;position:absolute;left:-20px;width:auto;display:none}article .entry-content h1 a,article .entry-content h2 a,article .entry-content h3 a,article .entry-content h4 a,article .entry-content h5 a{display:inline-block;position:relative;width:100%;color:inherit}article .entry-content h1 .hash{left:-25px}article .entry-content h4{font-size:16px}article .entry-content h5{font-size:14px}article .entry-content h1{counter-reset:h2counter}article .entry-content h1 .header-link:before{content:counter(h1counter) ". ";counter-increment:h1counter}article .entry-content h1.notoc .header-link:before{content:none;counter-increment:none}article .entry-content h1~h2 .header-link:before{content:counter(h1counter) "." counter(h2counter) ". "}article .entry-content h2{counter-reset:h3counter}article .entry-content h2 .header-link:before{counter-increment:h2counter;content:counter(h2counter) ". "}article .entry-content h2.notoc .header-link:before{content:none;counter-increment:none}article .entry-content h1~h2~h3 .header-link:before{content:counter(h1counter) "." counter(h2counter) "." counter(h3counter) ". "}article .entry-content h2~h3 .header-link:before{content:counter(h2counter) "." counter(h3counter) ". "}article .entry-content h3{counter-reset:h4counter}article .entry-content h3 .header-link:before{content:counter(h3counter) ". ";counter-increment:h3counter}article .entry-content h3.notoc .header-link:before{content:none;counter-increment:none}article .entry-content h1~h2~h3~h4 .header-link:before{content:counter(h1counter) "." counter(h2counter) "." counter(h3counter) "." counter(h4counter) ". "}article .entry-content h2~h3~h4 .header-link:before{content:counter(h2counter) "." counter(h3counter) "." counter(h4counter) ". "}article .entry-content h3~h4 .header-link:before{content:counter(h3counter) "." counter(h4counter) ". "}article .entry-content h4{counter-reset:h5counter}article .entry-content h4 .header-link:before{content:counter(h4counter) ". ";counter-increment:h4counter}article .entry-content h4.notoc .header-link:before{content:none;counter-increment:none}article .entry-content h1~h2~h3~h4~h5 .header-link:before{content:counter(h1counter) "." counter(h2counter) "." counter(h3counter) "." counter(h4counter) "." counter(h5counter) ". "}article .entry-content h2~h3~h4~h5 .header-link:before{content:counter(h2counter) "." counter(h3counter) "." counter(h4counter) "." counter(h5counter) ". "}article .entry-content h3~h4~h5 .header-link:before{content:counter(h3counter) "." counter(h4counter) "." counter(h5counter) ". "}article .entry-content h4~h5 .header-link:before{content:counter(h4counter) "." counter(h5counter) ". "}article .entry-content h5 .header-link:before{content:counter(h5counter) ". ";counter-increment:h5counter}article .entry-content h5.notoc .header-link:before{content:none;counter-increment:none}article .meta{position:absolute;top:85px;line-height:2;font-size:0.8em;color:#999;width:230px;padding:10px 0;border-top:1px solid #efefef;transition:border-top-color 0.5s;clear:both;position:static;width:auto}@media screen and (max-width:600px){article .meta{font-size:0.9em}}@media not screen and (max-width:600px),not screen and (max-width:766px){article .meta{text-align:center}}article .meta a{color:#999;transition:color 0.3s}article .meta a:hover{color:#555}@media not screen and (max-width:600px),not screen and (max-width:766px){article .meta a:hover{text-decoration:underline}}article .meta .meta-component{display:inline-block;margin-right:30px;position:relative}@media screen and (max-width:600px){article .meta .meta-component{display:block}}article .meta .meta-component i{color:#ccc;margin-right:2px;font-size:1.3em;line-height:1.5;cursor:default}@media not screen and (max-width:600px){article .meta .meta-component i{vertical-align:top}}@media screen and (max-width:766px){article .meta .meta-component{margin-right:30px}}html.dark article .entry-content kbd{background-image:none;background-color:#2d333b;border:none}html.dark article .entry-content h1 a,html.dark article .entry-content h2 a,html.dark article .entry-content h3 a,html.dark article .entry-content h4 a,html.dark article .entry-content h5 a{color:#d7d7d7}html.dark article .entry-content sup[id^="fnref"] a{color:#ef4444}html.dark article h2.title a{color:#d7d7d7}html.dark article h2.title a:hover{color:#539bf5}html.dark .meta a:hover{color:#539bf5}html.dark article .entry-content .span.highlight,html.dark article .entry-content mark{background-color:#831843}html.dark article .entry-content strong{color:#d7d7d7}html.dark article .entry-content .footnotes hr{background-color:#373e47;transition:background-color 0.5s,color 0.5s;color:#adbac7}html.dark article .entry-content .footnotes hr:after{background-color:#22272e;transition:background-color 0.5s}html.dark article .entry-content hr.book{color:#adbac7;background-color:#373e47;transition:background-color 0.5s,color 0.5s}html.dark article .entry-content hr.book:after{background-color:#22272e;transition:background-color 0.5s}html.dark article .meta{border-top-color:#373e47;transition:border-top-color 0.5s;color:#adbac7}html.dark article .meta .meta-component i{color:#adbac7}html.dark article .meta a{color:#adbac7}#comment{padding:10px 0;border-top:1px solid #efefef;clear:both}article.page h1.title{margin-bottom:15px;margin-top:5px;font-weight:400}html.dark table{background:#2d333b;color:#adbac7;border:1px solid #444c56}html.dark table code{color:#adbac7}html.dark table th{background:#2d333b;color:#adbac7}html.dark table thead th{background-color:#22272e}html.dark table td{color:#adbac7}html.dark table tr{background:#2d333b}html.dark table tr:nth-of-type(2n){background:#22272e}#tag{margin-top:15px}.archive-year{margin-bottom:15px;font-family:"Noto Sans",Helvetica,Arial,sans-serif}.archive-year:first-of-type{display:none}.page-group:not(:last-of-type){margin-bottom:30px}.archive li:last-child{border-bottom:0}.archive>li{list-style-type:none;font-size:16px;padding:5px 0;border-bottom:1px solid #efefef;transition:border-bottom-color 0.5s}.archive-item{border:none}.archive-item .item-link{display:block;color:#555;transition:color 0.3s;font-weight:normal;padding-top:4px}.archive-item .item-link:hover{color:#258fb8}@media not screen and (max-width:600px),not screen and (max-width:766px){.archive-item .item-link:hover{text-decoration:underline}}html.dark .archive>li{border-bottom-color:#373e47;transition:border-bottom-color 0.5s}html.dark .archive-item .item-link{color:#adbac7}html.dark .archive-item .item-link:hover{color:#539bf5}#footer{border-top:1px solid #efefef;transition:border-top-color 0.5s;padding:15px 0;text-align:center;cursor:default;clear:both}#footer #credit{margin-top:20px;margin-bottom:20px;font-style:italic;font-size:12px;color:#999}#footer #credit a{color:#555;transition:color 0.3s}#footer #credit a:hover{color:#222;text-decoration:underline}#footer #social{font-size:18px;color:#999}#footer #social a{color:#999;transition:color 0.3s;padding:20px}@media screen and (max-width:600px){#footer #social a{padding:10px}}@media not screen and (max-width:600px),not screen and (max-width:766px){#footer #social a:hover{color:#555}}#footer #social a[title="twitter"]{color:#2eb8e7}#footer #social a[title="github"]{color:#286da3!important}#footer #social a[title="linkedin"]{color:#0077b5!important}#footer #social a[title="gitlab"]{color:#292961!important}#footer #social a[title="stackoverflow"],#footer #social a[title="rss"]{color:#d85620!important}#footer #social a[title="email"]{color:#f66!important}html.dark #footer{border-top-color:#373e47;transition:border-top-color 0.5s}html.dark #footer #social a{color:#adbac7}.path,.entry-content code,.entry-content pre{font-family:Menlo,Monaco,"DejaVu Sans Mono",Consolas,monospace}.language-console,.language-shell-session{font-weight:bold}.language-console .gp,.language-shell-session .gp{color:#3E999F}.language-console .go,.language-shell-session .go{color:inherit;font-weight:normal}.language-console .c1,.language-shell-session .c1{font-weight:normal}.language-javascript .kd{color:#3E999F}.language-javascript .nx{color:inherit}.language-erlang .nv{color:#C82829}.language-go .nx{color:inherit}.language-clojure .ss{color:#8959A8}.language-clojure .nv{color:inherit}.language-clojure .nb,.language-clojure .nf{color:#4271AE}.language-haskell .nn{color:#d33682}.language-haskell .nb{color:#a47c00}.language-haskell .cm{color:#555}.language-scala .nc{color:#C82829}.language-scala .nn{color:#3E999F}.language-gdb .kt{color:#3E999F}.language-gdb .nv{color:#718C00}.language-rust .nl{color:#cb4b16}.language-rust .s-Raw{color:#cb4b16}.language-html .nt{color:#3E999F}.language-html .na{color:#8959A8}.language-python .kn{color:#8959A8}.language-python .nn{color:#3E999F}.language-java .nc{color:#C82829}.language-java .nn{color:#8959A8}.language-java .kc{color:#3E999F}.language-cmake .nb{color:#4271AE}.language-cmake .nv{color:#718C00}.language-cmake .s{color:inherit}.language-yaml .l{color:#3E999F}.language-yaml .p{color:#C82829}code{background-color:#EEE;transition:background-color 0.5s;padding:1px 5px}.path{background-color:inherit;padding:0}.entry-content pre{margin:15px 0;cursor:default;overflow-x:auto;background:#f7f7f7;color:#555;font-size:0.8em;line-height:1.5;padding:10px;transition:background-color 0.5s}@media screen and (max-width:600px){.entry-content pre{padding:5px;font-size:0.8em}}.entry-content pre code{background:none;padding:0}div.highlight{margin:15px 0;cursor:default;overflow:hidden;background-color:transparent}div.highlight figcaption{background-color:#e6e6e6;padding:5px 10px;position:relative;font-size:87.5%;color:#444;text-align:center}@media screen and (max-width:600px){div.highlight figcaption{display:none}}div.highlight figcaption abbr{border-bottom:1px dotted #00427B}@media not screen and (max-width:600px),not screen and (max-width:766px){div.highlight figcaption abbr:hover{border-bottom:1px solid #00427B}}div.highlight figcaption span{background:none;padding:0;margin:0;display:block}div.highlight figcaption span:empty{display:none}div.highlight figcaption span a,div.highlight figcaption span a:visited{position:absolute;top:5px;right:28px;font-weight:bold}div.highlight pre{overflow-x:auto;background:#f7f7f7;transition:background-color 0.5s;color:#555;font-size:0.8em;line-height:1.5;padding:10px}@media screen and (max-width:600px){div.highlight pre{padding:5px;font-size:0.8em}}div.highlight pre code{background:none;padding:0}div.highlight pre .highlight{padding:0;background-color:transparent}html.dark div.highlight pre{background-color:#2d333b;transition:background-color 0.5s}html.dark code,html.dark .entry-content pre{background-color:#2d333b;color:#adbac7;transition:background-color 0.5s}html.dark a code{color:inherit}@media print{*{-webkit-transition:none!important;transition:none!important}body{border-top:none;font-size:12px}.page-wrapper{padding:0;margin:0}article.post{margin-top:0}p a{text-decoration:underline}sup a{text-decoration:none}table,figure.codeblock,ul,ol{page-break-inside:avoid}figure.codeblock pre{background:none;padding:0}figure.codeblock .highlight span{color:inherit!important}#toc ol{page-break-inside:auto}#header,#footer{display:none}}
table.sourceCode,tr.sourceCode,td.lineNumbers,td.sourceCode,table.sourceCode pre{margin:0;padding:0;border:0;vertical-align:baseline;border:none}td.lineNumbers{border-right:1px solid #AAAAAA;text-align:right;color:#AAAAAA;padding-right:5px;padding-left:5px}td.sourceCode{padding-left:5px}div>pre{margin-top:2rem;padding:1rem;margin-bottom:2rem;padding-left:1.5rem;[>Override bootstrap <] border-radius:0px;[>background:#FDF6E3;<] border-right:none!important;border-left:1px solid #ccc}pre code{color:#657B83}code span.kw{color:#859900;font-weight:normal;font-style:normal}code span.dt{color:#B58900;font-weight:normal;font-style:normal}code span.dv{color:#2AA198;font-weight:normal;font-style:normal}code span.bn{color:#2AA198;font-weight:normal;font-style:normal}code span.fl{color:#2AA198;font-weight:normal;font-style:normal}code span.ch{color:#2AA198;font-weight:normal;font-style:normal}code span.st{color:#2AA198;font-weight:normal;font-style:normal}code span.co{color:#93A1A1;font-weight:normal;font-style:italic}code span.ot{color:#268BD2;font-weight:normal;font-style:normal}code span.al{color:#DC322F;font-weight:normal;font-style:normal}code span.fu{color:#268BD2;font-weight:normal;font-style:normal}code span.er{color:#DC322F;font-weight:normal;font-style:normal}code span.wa{color:#CB4B16;font-weight:normal;font-style:italic}code span.cn{color:#2AA198;font-weight:normal;font-style:normal}code span.sc{color:#DC322F;font-weight:normal;font-style:normal}code span.vs{color:#657B83;font-weight:normal;font-style:normal}code span.ss{color:#DC322F;font-weight:normal;font-style:normal}code span.im{color:#657B83;font-weight:normal;font-style:normal}code span.va{color:#268BD2;font-weight:normal;font-style:normal}code span.cf{color:#859900;font-weight:normal;font-style:normal}code span.op{color:#859900;font-weight:normal;font-style:normal}code span.bu{color:#657B83;font-weight:normal;font-style:normal}code span.ex{color:#657B83;font-weight:normal;font-style:normal}code span.pp{color:#CB4B16;font-weight:normal;font-style:normal}code span.at{color:#657B83;font-weight:normal;font-style:normal}code span.do{color:#93A1A1;font-weight:normal;font-style:italic}code span.an{color:#93A1A1;font-weight:normal;font-style:italic}code span.cv{color:#93A1A1;font-weight:normal;font-style:italic}code span.in{color:#93A1A1;font-weight:normal;font-style:italic}a.sourceLine::before{text-decoration:none}