/* above-fold.sass */

@font-face{font-family:'TeX Gyre Termes';font-weight:normal;font-style:normal;font-display:swap;unicode-range:U+000-5FF;src:local('Tex Gyre Termes-Regular'), url('/fonts/tgt/texgyretermes-regular.woff2') format('woff2');}@font-face{font-family:'TeX Gyre Termes';font-weight:bold;font-style:normal;font-display:swap;unicode-range:U+000-5FF;src:local('Tex Gyre Termes-Bold'), url('/fonts/tgt/texgyretermes-bold.woff2') format('woff2');}@font-face{font-family:'TeX Gyre Termes';font-weight:normal;font-style:italic;font-display:swap;unicode-range:U+000-5FF;src:local('Tex Gyre Termes-Italic'), url('/fonts/tgt/texgyretermes-italic.woff2') format('woff2');}@font-face{font-family:'TeX Gyre Termes';font-weight:bold;font-style:oblique;font-display:swap;unicode-range:U+000-5FF;src:local('Tex Gyre Termes-BoldItalic'), url('/fonts/tgt/texgyretermes-bolditalic.woff2') format('woff2');}@font-face{font-family:'Helvetica Neue';font-weight:normal;font-style:normal;font-display:swap;unicode-range:U+000-5FF;src:local('Helvetica Neue'), url('/fonts/Helvetica/HelveticaNeue.woff2') format('woff2');}@font-face{font-family:'Helvetica Neue';font-weight:500;font-style:normal;font-display:swap;unicode-range:U+000-5FF;src:local('Helvetica Neue-Medium'), url('/fonts/Helvetica/HelveticaNeue-Medium.woff2') format('woff2');}@font-face{font-family:'Helvetica Neue';font-weight:bold;font-style:normal;font-display:swap;unicode-range:U+000-5FF;src:local('Helvetica Neue-Bold'), url('/fonts/Helvetica/HelveticaNeue-Bold.woff2') format('woff2');}html{padding:none;margin:none;background-color:white;font-family:'TeX Gyre Termes', 'Times', serif;font-size:16px;font-variant-ligatures:normal;}@-moz-document url-prefix(){html{font-size:16px;}}body{font-family:'TeX Gyre Termes', 'Times', serif;color:#1A1C22;font-weight:400;margin:0;font-size:16px;}h1{font-family:'Helvetica Neue', Arial, sans-serif;font-weight:600;font-size:1rem;}h2{color:#2d3038;font-weight:600;font-size:1.1rem;}a{color:#1a0dab;}p{font-family:'TeX Gyre Termes', 'Times', serif;font-weight:400;font-size:1.125rem;margin-bottom:0px;}li{font-size:1.125rem;}.lightText{color:#F6F6F6;}.darkText{color:#888888;}.page-wrapper{position:relative;display:block;width:95%;margin:20px auto;}@media (min-width: 800px){.page-wrapper{width:85%;}}@media (min-width: 1200px){.page-wrapper{display:flex;margin:100px auto 50px auto;max-width:1200px;flex-wrap:nowrap;justify-content:left;align-items:stretch;align-content:center;width:auto;padding:0px 30px;flex-wrap:nowrap;gap:80px;justify-content:left;}}.left-sidebar{display:block;position:relative;}.left-sidebar nav{padding:20px 0px 10px 0px;text-align:left;width:100%;margin:0px auto;order:0;top:0px;left:0px;position:relative;display:block;}.left-sidebar .nav-title{font-family:'TeX Gyre Termes', 'Times', serif;display:none;font-size:1.5rem;font-weight:400;margin:15px 0px;user-select:none;width:100%;}.left-sidebar .nav-title a{text-decoration:none;color:#1A1C22;}.left-sidebar nav ul{list-style:none;padding:0px;margin:0px;}.left-sidebar nav ul li{display:inline-block;padding-right:0.4rem;font-size:0.9rem;font-family:'Helvetica Neue', Arial, sans-serif;text-transform:uppercase;}.left-sidebar nav ul li a{text-decoration:none;color:#888888;font-size:0.8rem;}.left-sidebar nav ul li a:hover{color:#1A1C22;}.left-sidebar .active{color:#1A1C22;}@media (min-width: 900px){.left-sidebar .nav-title{display:block;}.left-sidebar nav{padding:5px 0px;margin:0px auto 10px auto;max-width:920px;}.left-sidebar nav ul li{font-size:0.80rem;padding-right:0.7rem;}}@media (min-width: 1200px){.left-sidebar nav{padding:0px;text-align:right;max-width:200px;margin:0px;width:200px;}.left-sidebar nav ul li{font-size:0.7rem;padding:0.2rem;padding-right:0.4rem;}}.inner-content{display:block;margin:0px auto;width:100%;}.inner-content .image-bounding-box{position:relative;background-color:#727475;margin:10px 0 1rem 1.5rem;float:right;width:20%;padding-bottom:30%;}.inner-content .image-bounding-box a img{position:absolute;width:100%;height:100%;}@media (min-width: 900px){.inner-content{margin:0px auto;max-width:920px;}}@media (min-width: 1200px){.inner-content{margin:0px;max-width:1000px;}}.inner-content pre{font-family:ui-monospace, SFMono-Regular, SF Mono, Menlo, Consolas, Liberation Mono, monospace;font-size:0.9rem;padding:20px;overflow-wrap:normal;overflow-X:auto;overflow-Y:auto;border-radius:6px;background-color:rgb(246, 248, 250);max-width:95%;}.inner-content pre code{background-color:rgb(246, 248, 250);}code{font-family:ui-monospace, SFMono-Regular, SF Mono, Menlo, Consolas, Liberation Mono, monospace;font-size:0.9rem;border-radius:3px;background-color:#edeff0;max-width:95%;padding:0.15rem 0.3rem;line-height:1.3rem;}.intro-content h2{font-size:1.25rem;margin-bottom:0px;}.intro-content p{font-size:1.1rem;}.intro-content ul li{margin:10px 0px;}.intro-content a{color:unset;}.intro-content .intro-section{margin-top:50px;border-top:3px solid #2a55a1;}.intro-content .intro-section p{margin:5px 0px;}.intro-content .intro-section ul{margin:20px 0px;list-style-type:none;padding:0px;}.intro-content .intro-section ul a{color:black;text-decoration:none;}.intro-content .intro-section ul a li{display:flex;align-items:baseline;padding:15px 10px;background-color:rgba(20,20,20,0.0);font-size:1.rem;font-family:'TeX Gyre Termes', 'Times', serif;margin:5px 0px;border-radius:4px;}.intro-content .intro-section ul a .adate{color:gray;font-family:'Helvetica Neue', Arial, sans-serif;min-width:5rem;white-space:nowrap;font-size:0.9rem;padding:0px 5px;text-decoration:none;}.intro-content .intro-section ul a:hover li{color:#2a55a1;}.intro-content .intro-section ul a:hover .li-title{text-decoration:underline;}.intro-content .intro-section ul a:hover li:focus{background-color:rgba(130,130,130,0.1);}.intro-content .intro-section ul a:hover li:hover{background-color:rgba(130,130,130,0.1);}.intro-content .papers-section{margin-top:50px;border-top:3px solid #2a55a1;}.intro-content .papers-section p{margin:5px 0px;}.intro-content .papers-section .paper-item{text-decoration:none;}.intro-content .papers-section .paper-item:hover{text-decoration:none;}.intro-content .papers-section ul{margin:20px 0px;list-style-type:none;padding:0px;}.intro-content .papers-section ul li{padding:20px 10px;border-radius:4px;}.intro-content .papers-section ul li h3{padding:0px;margin:0px;font-size:1.1rem;font-family:'Helvetica Neue', Arial, sans-serif;}.intro-content .papers-section ul li p .venue{background-color:rgba(120,120,120,0.10);padding:2px 10px 4px 10px;border-radius:5px;font-family:'Helvetica Neue', Arial, sans-serif;font-weight:normal;font-size:0.9rem;color:black;}.intro-content .papers-section ul li .paper-link{color:#2a55a1;text-decoration:underline;}.intro-content .papers-section ul li:focus{background-color:rgba(130,130,130,0.1);text-decoration:none;}.intro-content .papers-section ul li:focus h3{text-decoration:underline;}.intro-content .papers-section ul li:hover{background-color:rgba(130,130,130,0.1);text-decoration:none;}.intro-content .papers-section ul li:hover h3{text-decoration:underline;}.intro-content .blog-section{background-color:rgba(120, 120, 130, 0.05);padding:20px;}.intro-content .blog-section ul{margin:14px 0px;}.intro-content .blog-section ul li{padding:12px 10px;margin:0px 0px 12px 0px;}.intro-content .blog-section .index-meta{margin:0px 0px 5px 0px;font-family:'Helvetica Neue', Arial, sans-serif;font-size:0.82rem;line-height:1.35;color:rgba(0,0,0,0.68);}.intro-content .blog-section .meta-row{display:flex;align-items:center;gap:8px;}.intro-content .blog-section .index-hook{display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden;max-height:calc(3 * 1.35em);margin:4px 0px 0px 0px;font-family:'Helvetica Neue', Arial, sans-serif;font-size:0.96rem;line-height:1.35;}.intro-content .blog-section .index-meta .venue{display:inline-flex;align-items:center;height:1.35em;padding:0px 7px;border-radius:4px;font-size:inherit;line-height:inherit;}.intro-content .blog-section .section-link{color:#2a55a1;}.intro-content .fragment-section{background-color:rgba(120,120,130,0.10);padding:20px;border-top:1px solid rgba(50,50,50, 1);}.intro-content .fragment-section h2{font-size:1.1rem;font-family:'Helvetica Neue', Arial, sans-serif;}.intro-content .fragment-section p{font-family:'Helvetica Neue', Arial, sans-serif;font-size:1em;color:rgba(0,0,0,0.7);}.intro-content .fragment-section ul a li{padding:10px 10px;margin:0px;font-family:'Helvetica Neue', Arial, sans-serif;font-size:1em;color:rgba(0,0,0,0.8);}.intro-content .fragment-section ul a li:focus{background-color:rgba(120,120,120,0.05);}.intro-content .fragment-section ul a li:hover{background-color:rgba(120,120,120,0.05);}.intro-content .fragment-section ul a:hover li{color:rgba(0,0,0,1);}@media (min-width: 800px){h2{font-size:1.1rem;}p{font-size:1.145rem;}ul li{font-size:1.145rem;}}@media (min-width: 1200px){.intro-content{max-width:650px;}}

/* article.sass */

.article-header{display:block;position:relative;width:100%;min-height:200px;}.article-header .flex-horizontal{display:flex;flex-direction:row;flex-wrap:wrap;justify-content:flex-start;align-items:baseline;align-content:flex-start;}.article-header h1{font-size:2.2rem;font-family:'HelveticaNeue', Arial, sans-serif;max-width:850px;}.article-header h3{font-size:1.1rem;font-family:'HelveticaNeue', Arial, sans-serif;margin-right:20px;}.article-header .article-hook{font-size:1.2rem;font-family:'HelveticaNeue', Arial, sans-serif;width:100%;}.article-header .article-tag{text-transform:capitalize;}.article-header .pubinfo{padding:10px 0px;color:#595959;}.article-header .pubinfo p{font-family:'HelveticaNeue', Arial, sans-serif;font-size:0.8rem;margin:5px 0px;}.article-header .pubinfo .pubat{font-weight:500;}.article-header .pubinfo .publoc{text-transform:uppercase;}@media (min-width: 800px){.article-header h1{font-size:2.7rem;}.article-header .article-hook{width:70%;max-width:650px;}}@media (min-width: 1200px){.article-header h1{font-size:3rem;}.article-header .article-hook{min-width:650px;}}.left-sidebar .sticky-content{display:none;}@media (min-width: 1200px){.left-sidebar .sticky-content{display:block;position:-webkit-sticky;position:sticky;top:0px;left:0px;height:60vh;margin-top:20px;}}.publishing-info{display:block;position:relative;width:100%;text-align:right;}.publishing-info h3{margin:0px;padding:0.8rem 0px 0.2rem 0px;font-size:0.8rem;font-family:'HelveticaNeue', Arial, sans-serif;color:#0d0d0d;}.publishing-info a{color:#0d0d0d;}.publishing-info a:hover{color:#2a55a1;}.publishing-info p{font-size:0.8rem;font-family:'HelveticaNeue', Arial, sans-serif;color:#595959;margin-top:2px;}@media (min-width: 900px){.publishing-info{width:100px;}}@media (min-width: 1200px){.publishing-info{width:200px;}}.top p{margin:0px;}.top p a{display:block;position:relative;font-family:'HelveticaNeue', Arial, sans-serif;text-align:right;float:right;max-width:200px;font-size:0.8rem;text-decoration:none;color:#595959;display:inline-block;line-height:1.1em;}.toctitle{text-align:right;font-size:0.8rem;font-family:'HelveticaNeue', Arial, sans-serif;color:#0d0d0d;margin:0px 0px 8px 0px;}.toc::-webkit-scrollbar{display:none;}.toc{display:block;position:relative;font-family:'HelveticaNeue', Arial, sans-serif;text-align:right;max-width:200px;max-height:80%;overflow-y:scroll;scrollbar-width:none;}.toc ol{list-style-type:none;padding:0px;margin-top:0px;margin-left:0px;counter-reset:listCounter;}.toc ol li{padding:0px 0px 10px 0px;}.toc ol li a{font-size:0.8rem;text-decoration:none;color:#191919;font-weight:bold;display:inline-block;line-height:1.1em;padding:0px 0px 5px 0px;counter-increment:listCounter;position:relative;}.toc ol li a:hover{text-decoration:underline;}.toc ol li a:before{content:" " counters(listCounter, ".");color:#aaaaaa;padding-right:5px;}.toc ol li ol li{padding:0px;}.toc ol li ol li a{padding:0px;font-size:0.75rem;font-weight:normal;color:#393939;}.toc ol li ol li ol li{padding:0px;}.toc ol li ol li ol li a{padding:0px;font-size:0.75rem;color:#595959;font-weight:normal;font-style:italic;}.article-spacing{padding:20px 0px;}.spacing-top{padding:0px 0px 6px 0px;}.article-hr{width:100%;height:6px;background-color:#0d0d0d;border:none;}.heavy-hr{display:none;}@media (min-width: 800px){.heavy-hr{display:block;}}.thinner-hr{height:2px;}.thin-hr{height:1px;background-color:#EAEAEA;display:block;}.article-content:{position:relative;display:block;margin:0px;width:100%;}.article::-webkit-scrollbar{display:none;}.article{display:block;position:relative;-ms-overflow-style:none;scrollbar-width:none;counter-reset:section subsection detail;}.article p{z-index:0;line-height:1.65rem;font-size:1.125rem;color:#0d0d0d;position:relative;margin-bottom:15px;font-family:'TeX Gyre Termes', 'Times', serif;}.article .acr{font-size:0.95rem;}.article li{line-height:1.5rem;font-size:1.1rem;}.article blockquote{border-left:2px solid rgb(200,200,200);}.article blockquote p{padding-left:20px;}.article figure{margin:50px 0px 30px 0px;}.article figure img{width:100%;background-color:white;-webkit-user-drag:none;-khtml-user-drag:none;-moz-user-drag:none;-o-user-drag:none;user-drag:none;}.article figure video{width:100%;background-color:white;-webkit-user-drag:none;-khtml-user-drag:none;-moz-user-drag:none;-o-user-drag:none;user-drag:none;}.article figure figcaption{margin:0px 0px 0px 0px;border-bottom:1px solid rgba(30,40,80,0.7);padding:10px 5px;}.article figure figcaption p{margin:0;font-family:'HelveticaNeue', Arial, sans-serif;font-size:1rem;line-height:1.1rem;color:rgba(10,20,40,0.9);font-style:normal;}.article .note{margin:30px 0px;background-color:rgba(240,243,250,0.3);border:2px solid rgba(50,50,53,0.5);padding:20px;border-radius:5px;}.article .note h3{font-family:'HelveticaNeue', Arial, sans-serif;font-size:1rem;}.article .note p{font-size:1.15rem;line-height:1.3rem;margin-bottom:3px;}.article .snanchor{line-height:1rem;}.article h1{margin:0px;}.article h2{margin:0px;counter-reset:subsection detail;}.article h3{margin:0px;counter-reset:detail;}.article h4{margin:0px;}.article h2 a{font-family:'HelveticaNeue', Arial, sans-serif;display:block;width:100%;text-decoration:none;font-size:1.5rem;color:#0d0d0d;padding:1rem 0px 1rem 0px;border-bottom:1.5px solid rgba(10,10,20,0.5);margin-top:20px;}.article h2 a:before{counter-increment:section;content:counter(section) ". ";}.article h2 a:hover::after{font-size:1.2rem;color:rgba(0,0,0,0.3);padding-left:10px;content:'¶';}.article h3 a{font-family:'HelveticaNeue', Arial, sans-serif;display:block;width:100%;text-decoration:none;font-weight:normal;color:black;padding:15px 0px 10px 0px;border-bottom:1px solid rgba(50, 50, 80, 0.3);}.article h3 a:before{counter-increment:subsection;content:counter(section) "." counter(subsection) ". ";}.article h3 a:hover::after{font-size:1rem;color:rgba(0,0,0,0.3);padding-left:10px;content:'¶';}.article h4 a{font-family:'TeX Gyre Termes', 'Times', serif;display:block;width:100%;font-size:1.1rem;text-decoration:none;font-style:italic;font-weight:normal;color:black;padding:15px 0px 10px 0px;}.article h4 a:before{counter-increment:detail;content:counter(section) "." counter(subsection) "." counter(detail) ". ";}.article h4 a:hover::after{font-size:0.9rem;color:rgba(0,0,0,0.3);padding-left:10px;content:'¶';}.article table{margin:20px auto;border-top:0.1rem solid #0d0d0d;border-bottom:0.1rem solid #0d0d0d;border-collapse:collapse;}.article table thead tr{border-bottom:0.05rem solid #0d0d0d;}.article table thead tr th{text-align:left;padding:8px 10px;white-space:nowrap;}.article table tbody:before{line-height:0.5rem;display:block;content:"\200C";}.article table tbody tr td{text-align:left;padding:0px 10px;white-space:nowrap;}.article table tbody:after{line-height:0.5rem;display:block;content:"\200C";opacity:0;}.article .tikzerror{background-color:rgba(100,100,100,0.1);padding:10px;}.article .tikzerror p{margin:0px;font-family:'HelveticaNeue', Arial, sans-serif;}.sidenote{display:none;float:right;clear:right;margin-right:-230px;width:100%;max-width:200px;margin-top:0.3rem;margin-bottom:0;font-size:0.85rem;line-height:1.1rem;vertical-align:baseline;position:relative;margin-bottom:1rem;text-align:left;font-family:'HelveticaNeue', Arial, sans-serif;}.sidenote .snnum{color:rgba(120,120,150);}.sidenote code{font-size:0.8rem;line-height:1.0rem;padding:2px;}.footnote-container .footnote{position:relative;width:100%;display:flex;flex-direction:row;flex-wrap:nowrap;flex-flow:flex-start;align-items:baseline;border-bottom:1px solid rgba(100,100,100,0.1);}.footnote-container .footnote p a{font-family:'HelveticaNeue', Arial, sans-serif;text-decoration:none;padding:0px 20px;color:#0d0d0d;}.footnote-container .footnote p a:hover{color:#3b3e40;text-decoration:underline;}.footnote-container .footnote .fncontent{width:100%;}.footnote-container .footnote .fncontent .fnbackref{color:#0d0d0d;position:relative;padding:1rem 10px 10px 10px;padding-top:1rem;float:right;bottom:0px;right:0px;}.footnote-container .footnote .fncontent .fnbackref:hover{color:#3b3e40;}.fnhref{color:rgb(120,120,160);}.snidx{display:none;color:rgb(120,120,150);font-size:0.8rem;margin:0px 0px 0px -3px;}@media (min-width: 800px){.footnote-container{display:none;}.fnhref{display:none;}.snidx{display:inline-block;}}@media (min-width: 800px){.article-content{width:70%;max-width:650px;}.article-content .sidenote{display:inline-block;}.article-content .figwide{width:143%;}}@media (min-width: 1200px){.article-content{min-width:650px;}.article-content .figwide{width:920px;}.article-content .article .sidenote{margin-right:-280px;max-width:200px;}}.citet a,.cite a{color:#2a55a1;}.citation-wrapper{margin:25px 0px;font-size:0.9rem;font-family:'HelveticaNeue', Arial, sans-serif;overflow-x:scroll;-ms-overflow-style:none;scrollbar-width:none;}.citation-wrapper .ctitle{color:rgb(10,10,10);}.citation-wrapper p{font-size:0.9rem;margin:0px;font-size:1rem;font-family:'HelveticaNeue', Arial, sans-serif;color:rgb(100,100,100);}.citation-wrapper a{color:rgb(30,30,30);}.citation-wrapper a:hover{color:#2a55a1;}.citation-wrapper::-webkit-scrollbar{display:none;}.article-footer h3{font-family:'HelveticaNeue', Arial, sans-serif;font-size:1.1rem;}.article-footer p{font-size:1.0rem;font-family:'HelveticaNeue', Arial, sans-serif;}.article-footer .attribution{margin:-10px 0px 20px 0px;}.index-title{font-size:2.35rem;margin:10px 0px;}.feed-link{font-family:'HelveticaNeue', Arial, sans-serif;}.year-title{font-family:'HelveticaNeue', Arial, sans-serif;margin:20px 0px 10px 0px;padding:10px 0px 0px 10px;border-top:1px solid rgba(50,50,100,0.3);}.articles{max-width:650px;}.articles .feed-link{margin:0px 0px 18px 0px;}.articles .feed-link a{color:#2a55a1;font-family:'HelveticaNeue', Arial, sans-serif;font-size:0.95rem;}.articles ul{margin:0px;padding:0px;list-style-type:none;}.articles ul a{color:black;text-decoration:none;}.articles ul a li{padding:18px 10px;}.articles ul a li .index-meta{margin:0px;font-size:0.8rem;font-family:'HelveticaNeue', Arial, sans-serif;color:#595959;}.articles ul a li .keyword-tag{color:#2a55a1;text-transform:capitalize;}.articles ul a li .title{font-size:1.05rem;font-family:'TeX Gyre Termes', 'Times', serif;margin:5px 0px 3px 0px;line-height:1.25;}.articles ul a li .index-hook{color:#595959;margin:0px;display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden;max-height:calc(3 * 1.35em);font-size:1rem;line-height:1.35;}.articles ul a:hover .title{color:#2a55a1;text-decoration:underline;}.articles ul li:focus{background-color:rgba(120,120,120,0.05);}.articles ul li:hover{background-color:rgba(120,120,120,0.05);}@media (min-width: 800px){.articles ul a li{padding:22px 16px;}.articles ul a li .index-meta{font-size:0.85rem;}.articles ul a li .title{font-size:1.35rem;margin:8px 0px 3px 0px;line-height:1.55rem;}.articles ul a li .index-hook{font-size:1.05rem;}}