:root{color-scheme:light;--global-bg-color: #ffffff;--global-code-bg-color: rgba(181, 9, 172, 0.05);--global-text-color: #000000;--global-text-color-light: #828282;--global-theme-color: #b509ac;--global-hover-color: #b509ac;--global-hover-text-color: #ffffff;--global-footer-bg-color: #1c1c1d;--global-footer-text-color: #e8e8e8;--global-footer-link-color: #ffffff;--global-distill-app-color: #828282;--global-divider-color: rgba(0, 0, 0, 0.1);--global-card-bg-color: #ffffff;--global-highlight-color: #b71c1c;--global-back-to-top-bg-color: rgba( 0, 0, 0, 0.4 );--global-back-to-top-text-color: #ffffff;--global-newsletter-bg-color: #ffffff;--global-newsletter-text-color: #000000;--global-tip-block: #42b983;--global-tip-block-bg: #e2f5ec;--global-tip-block-text: #215d42;--global-tip-block-title: #359469;--global-warning-block: #e7c000;--global-warning-block-bg: #fff8d8;--global-warning-block-text: #6b5900;--global-warning-block-title: #b29400;--global-danger-block: #c00;--global-danger-block-bg: #ffe0e0;--global-danger-block-text: #600;--global-danger-block-title: #c00}html[data-theme=dark]{color-scheme:dark;--global-bg-color: #1c1c1d;--global-code-bg-color: #2c3237;--global-text-color: #e8e8e8;--global-text-color-light: #828282;--global-theme-color: #2698ba;--global-hover-color: #2698ba;--global-hover-text-color: #ffffff;--global-footer-bg-color: #e8e8e8;--global-footer-text-color: #1c1c1d;--global-footer-link-color: #000000;--global-distill-app-color: #e8e8e8;--global-divider-color: #424246;--global-card-bg-color: #212529;--global-back-to-top-bg-color: rgba( 255, 255, 255, 0.5 );--global-back-to-top-text-color: #000000;--global-newsletter-bg-color: #e8e8e8;--global-newsletter-text-color: #1c1c1d;--global-tip-block: #42b983;--global-tip-block-bg: #215d42;--global-tip-block-text: #beffe2;--global-tip-block-title: #e2f5ec;--global-warning-block: #e7c000;--global-warning-block-bg: #6b5900;--global-warning-block-text: #fff2af;--global-warning-block-title: #fff8d8;--global-danger-block: #c00;--global-danger-block-bg: #600;--global-danger-block-text: #ffb9b9;--global-danger-block-title: #ffe0e0}body{padding-bottom:70px;color:var(--global-text-color);background-color:var(--global-bg-color)}body h1,body h2,body h3,body h4,body h6{scroll-margin-top:66px}body.fixed-top-nav{padding-top:57px}.container{max-width:930px}.profile img{width:100%}p,h1,h2,h3,h4,h6,em,div,li,span,strong{color:var(--global-text-color)}hr{border-top:1px solid var(--global-divider-color)}table:not(.table) td,table:not(.table) th{font-size:1rem;padding:.45rem 1rem .45rem 0;border-top:1px solid var(--global-divider-color)}table:not(.table) th{font-weight:600}a,table.table a{color:var(--global-theme-color)}a:hover,table.table a:hover{color:var(--global-theme-color);text-decoration:underline}a:hover:after :not(.nav-item.dropdown),table.table a:hover:after :not(.nav-item.dropdown){width:100%}.table-dark{background-color:rgba(0,0,0,0)}blockquote{background:var(--global-bg-color);border-left:5px solid var(--global-theme-color);margin:1.5em 0;padding:1em;font-size:1.2rem}blockquote p{margin-bottom:0}.navbar{box-shadow:none;border-bottom:1px solid var(--global-divider-color);background-color:var(--global-bg-color);opacity:.95}.navbar .navbar-collapse-main{justify-content:flex-end;text-align:right}.navbar .navbar-menu-list{margin-left:auto}@media(max-width: 575.98px){.navbar .navbar-toggler-main{margin-left:auto}.navbar .navbar-collapse-main{text-align:left}.navbar .navbar-menu-list{margin-left:0;align-items:flex-start;width:100%}.navbar .navbar-menu-list>.nav-item.dropdown{width:100%}.navbar .dropdown-menu{position:static;width:100%;min-width:100%;margin-top:0;text-align:left;box-shadow:none}.navbar .dropdown-item{white-space:normal;text-align:left}}.navbar .dropdown-menu{background-color:var(--global-bg-color);border:1px solid var(--global-divider-color)}.navbar .dropdown-menu a:not(.active){color:var(--global-text-color)}.navbar .dropdown-menu a:hover{color:var(--global-hover-color)}.dropdown-item{color:var(--global-text-color)}.dropdown-item:hover{color:var(--global-hover-color);background-color:var(--global-bg-color)}.dropdown-item.active,.dropdown-item:active{background-color:var(--global-hover-color);color:var(--global-hover-text-color) !important}.dropdown-item.active:hover,.dropdown-item:active:hover{color:var(--global-hover-text-color)}.navbar.navbar-light a:hover{text-decoration:none}.navbar.navbar-light .navbar-brand{color:var(--global-text-color)}.navbar.navbar-light .navbar-nav .nav-item .nav-link{color:var(--global-text-color)}.navbar.navbar-light .navbar-nav .nav-item .nav-link:hover{color:var(--global-hover-color)}.navbar.navbar-light .navbar-nav .nav-item.active>.nav-link{background-color:inherit;font-weight:bolder;color:var(--global-theme-color)}.navbar.navbar-light .navbar-nav .nav-item.active>.nav-link:hover{color:var(--global-hover-color)}.navbar.navbar-light .navbar-brand.social{padding-bottom:0;padding-top:0;font-size:1.7rem}.navbar.navbar-light .navbar-brand.social a img{width:1.7rem;height:1.7rem;margin-bottom:.5rem}.navbar.navbar-light .navbar-brand.social a svg{width:1.7rem;height:1.7rem;margin-bottom:.5rem}.navbar.navbar-light .navbar-brand.social a svg image{width:1.7rem;height:1.7rem}.navbar.navbar-light .navbar-brand.social a i::before{color:var(--global-text-color);transition-property:all .2s ease-in-out}.navbar.navbar-light .navbar-brand.social a:hover i::before{color:var(--global-theme-color)}.navbar-toggler .icon-bar{display:block;width:22px;height:2px;background-color:var(--global-text-color);border-radius:1px;margin-bottom:4px;transition:all .2s}.navbar-toggler .top-bar{transform:rotate(45deg);transform-origin:10% 10%}.navbar-toggler .middle-bar{opacity:0}.navbar-toggler .bottom-bar{transform:rotate(-45deg);transform-origin:10% 90%}.navbar-toggler.collapsed .top-bar{transform:rotate(0)}.navbar-toggler.collapsed .middle-bar{opacity:1}.navbar-toggler.collapsed .bottom-bar{transform:rotate(0)}#light-toggle{padding:0;border:0;background-color:inherit;color:var(--global-text-color);cursor:pointer;width:2rem;height:2rem;display:inline-flex;align-items:center;justify-content:center}#light-toggle:hover{color:var(--global-hover-color)}@media(min-width: 576px){#light-toggle{transform:translateY(4px)}}#search-toggle{padding:0;border:0;background-color:inherit;color:var(--global-text-color);cursor:pointer}#search-toggle:hover{color:var(--global-hover-color)}footer.fixed-bottom{background-color:var(--global-footer-bg-color);font-size:.75rem}footer.fixed-bottom .container{color:var(--global-footer-text-color);padding-top:9px;padding-bottom:8px;text-align:center}footer.fixed-bottom a{color:var(--global-footer-link-color)}footer.fixed-bottom a:hover{color:var(--global-theme-color);text-decoration:none}.header-bar{border-bottom:1px solid var(--global-divider-color);text-align:center;padding-top:2rem;padding-bottom:3rem}.header-bar h1{color:var(--global-theme-color);font-size:5rem}.post-list{margin:0;margin-bottom:40px;padding:0}.post-list li{border-bottom:1px solid var(--global-divider-color);list-style:none;padding-top:2rem;padding-bottom:2rem}.post-list li .post-meta{color:var(--global-text-color-light);font-size:.875rem;margin-bottom:0}.post-list li .post-tags{color:var(--global-text-color-light);font-size:.875rem;padding-top:.25rem;padding-bottom:0}.post-list li a{color:var(--global-text-color);text-decoration:none}.post-list li a:hover{color:var(--global-theme-color)}.pagination{display:flex;justify-content:center;padding-left:0;margin-top:1.25rem;margin-bottom:1.5rem;list-style:none}.post .post-meta{color:var(--global-text-color-light);font-size:.875rem;margin-bottom:0}.post .post-tags{color:var(--global-text-color-light);font-size:.875rem;padding-top:.25rem;padding-bottom:1rem}.post .post-tags a{color:var(--global-text-color-light);text-decoration:none}.post .post-tags a:hover{color:var(--global-theme-color)}.post-description{margin-bottom:2rem;font-size:.875rem}.post-description a{color:inherit}.post-description a:hover{color:var(--global-theme-color);text-decoration:none}.publications{margin-top:2rem}.publications h1{color:var(--global-theme-color);font-size:2rem;text-align:center;margin-top:1em;margin-bottom:1em}.publications h2{margin-bottom:1rem}.publications h2 span{font-size:1.5rem}.publications h2.bibliography{color:var(--global-divider-color);border-top:1px solid var(--global-divider-color);padding-top:1rem;margin-top:2rem;text-align:right}.publications ol.bibliography{list-style:none;padding:0;margin-top:0}.publications ol.bibliography li{margin-bottom:1rem}.publications ol.bibliography li .preview{display:inline-block}.publications ol.bibliography li .abbr{margin-bottom:.5rem}.publications ol.bibliography li .abbr abbr{display:inline-block;background-color:var(--global-theme-color);margin-bottom:.5rem;color:var(--global-card-bg-color) !important}.publications ol.bibliography li .abbr abbr a{color:#fff}.publications ol.bibliography li .abbr abbr a:hover{text-decoration:none}.publications ol.bibliography li .abbr .award{color:var(--global-theme-color) !important;border:1px solid var(--global-theme-color)}.publications ol.bibliography li .title{font-weight:bolder}.publications ol.bibliography li .author a{border-bottom:1px dashed var(--global-theme-color)}.publications ol.bibliography li .author a:hover{border-bottom-style:solid;text-decoration:none}.publications ol.bibliography li .author>em{border-bottom:1px solid;font-style:normal}.publications ol.bibliography li .author>span.more-authors{color:var(--global-text-color-light);border-bottom:1px dashed var(--global-text-color-light);cursor:pointer}.publications ol.bibliography li .author>span.more-authors:hover{color:var(--global-text-color);border-bottom:1px dashed var(--global-text-color)}.publications ol.bibliography li .links a.btn{color:var(--global-text-color);border:1px solid var(--global-text-color);padding-left:1rem;padding-right:1rem;padding-top:.25rem;padding-bottom:.25rem;margin-left:0}.publications ol.bibliography li .links a.btn:hover{color:var(--global-theme-color);border-color:var(--global-theme-color)}.publications ol.bibliography li .links a.award.btn{border-color:var(--global-highlight-color)}.publications ol.bibliography li .hidden{font-size:.875rem;max-height:0px;overflow:hidden;text-align:justify;transition-property:.15s ease;-moz-transition:.15s ease;-ms-transition:.15s ease;-o-transition:.15s ease;transition:all .15s ease}.publications ol.bibliography li .hidden p{line-height:1.4em;margin:10px}.publications ol.bibliography li .hidden pre{font-size:1em;line-height:1.4em;padding:10px}.publications ol.bibliography li .hidden.open{max-height:100em;transition-property:.15s ease;-moz-transition:.15s ease;-ms-transition:.15s ease;-o-transition:.15s ease;transition:all .15s ease}.publications ol.bibliography li div.abstract.hidden{border:dashed 1px var(--global-bg-color)}.publications ol.bibliography li div.abstract.hidden.open{border-color:var(--global-text-color)}.publications ol.bibliography div.award.hidden{border:dashed 1px var(--global-bg-color)}.publications ol.bibliography div.award.hidden.open{border-color:var(--global-highlight-color)}.citation,.citation-number{color:var(--global-theme-color)}.equation{margin-bottom:1rem;text-align:center}.caption{font-size:.875rem;margin-top:.75rem;margin-bottom:1.5rem;text-align:center}.card{background-color:var(--global-card-bg-color)}.card .card-title{color:var(--global-text-color)}.card .card-body{padding:1.25rem 1.25rem 1.25rem 1.25rem}.profile{width:100%}.profile .more-info{margin-bottom:5px;margin-top:5px;font-family:monospace}.profile .more-info p{display:inline-block;margin:0}.profile.float-right{margin-left:1rem}@media(min-width: 576px){.profile{width:30%}.profile .address p{display:block}}.cv{margin-bottom:40px}.cv .card{background-color:var(--global-card-bg-color);border:1px solid var(--global-divider-color)}.cv .card .list-group-item{background-color:inherit;border-color:var(--global-divider-color)}.cv .card .list-group-item .badge{color:var(--global-card-bg-color) !important;background-color:var(--global-theme-color) !important}.date-column{width:75px;transform:translateX(-15px) translateY(-5px)}.social{text-align:center}.social .contact-icons{font-size:4rem}.social .contact-icons a img{width:3.2rem;height:3.2rem;margin-bottom:1rem}.social .contact-icons a svg{width:3.5rem;height:4rem;margin-bottom:.5rem}.social .contact-icons a svg image{width:3.5rem;height:3.5rem}.social .contact-icons a i::before{color:var(--global-text-color);transition-property:all .2s ease-in-out}.social .contact-icons a:hover{text-decoration:none}.social .contact-icons a:hover i::before{color:var(--global-theme-color)}.social .contact-note{font-size:.8rem}.distill a:hover{border-bottom-color:var(--global-theme-color);text-decoration:none}figure.highlight{margin:0 0 1rem;overflow-x:auto;-webkit-overflow-scrolling:touch}figure.highlight pre{white-space:pre;word-wrap:normal;overflow-x:auto;-webkit-overflow-scrolling:touch}pre{color:var(--global-theme-color);background-color:var(--global-code-bg-color);border-radius:6px;padding:6px 12px;overflow-x:auto;-webkit-overflow-scrolling:touch;white-space:pre;word-wrap:normal}pre pre,pre code{background-color:rgba(0,0,0,0);border-radius:0;margin-bottom:0;padding:0;white-space:inherit}code{color:var(--global-theme-color);background-color:var(--global-code-bg-color);border-radius:3px;padding:3px 3px;white-space:normal;word-wrap:break-word}:not(pre)>code{font-size:.82em;font-weight:400;padding:2px 4px}progress{position:fixed;left:0;top:56px;z-index:10;width:100%;height:1px;-webkit-appearance:none;-moz-appearance:none;appearance:none;border:none;background-color:rgba(0,0,0,0);color:var(--global-theme-color)}progress::-webkit-progress-bar{background-color:rgba(0,0,0,0)}progress::-webkit-progress-value{background-color:var(--global-theme-color)}progress::-moz-progress-bar{background-color:var(--global-theme-color)}html.transition,html.transition body{transition-property:color,background-color,border-color,fill,stroke,box-shadow !important;transition-duration:240ms !important;transition-timing-function:ease !important;transition-delay:0s !important}html.transition *,html.transition *:before,html.transition *:after{transition-property:background-color,border-color,box-shadow !important;transition-duration:240ms !important;transition-timing-function:ease !important;transition-delay:0s !important}.code-display-wrapper{position:relative}.code-display-wrapper .copy{background:var(--global-card-bg-color);border-color:var(--global-bg-color);border-radius:.3rem;border-style:none;color:var(--global-text-color);font-size:medium;opacity:0;position:absolute;right:.2rem;top:.2rem}.code-display-wrapper:active .copy,.code-display-wrapper:focus .copy,.code-display-wrapper:hover .copy{color:var(--global-hover-color);opacity:1}.af-table-shell{margin:1.1rem 0 1.4rem}.af-table-toolbar{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.7rem;margin-bottom:.6rem}.af-table-search{min-width:min(300px,100%);max-width:100%;border:1px solid var(--global-divider-color);border-radius:.4rem;background-color:var(--global-bg-color);color:var(--global-text-color);font-size:.94rem;line-height:1.4;padding:.42rem .72rem}.af-table-search:focus-visible{outline:2px solid color-mix(in srgb, var(--global-theme-color) 35%, transparent);outline-offset:1px}.af-table-pagination{display:inline-flex;align-items:center;gap:.35rem}.af-table-page-info{color:var(--global-text-color);font-size:.85rem;font-weight:500;margin-right:.3rem}.af-table-pagination button{border:1px solid var(--global-divider-color);background-color:rgba(0,0,0,0);border-radius:.35rem;color:var(--global-text-color);cursor:pointer;font-size:.85rem;font-weight:500;line-height:1;min-width:2rem;padding:.38rem .56rem;transition:background-color .2s ease,color .2s ease,border-color .2s ease}.af-table-pagination button:hover:not(:disabled){background-color:var(--global-theme-color);border-color:var(--global-theme-color);color:var(--global-hover-text-color)}.af-table-pagination button:disabled{cursor:default;opacity:.45}table[data-toggle=table].af-table-enhanced{margin-bottom:0}table[data-toggle=table].af-table-enhanced thead th{background-color:color-mix(in srgb, var(--global-theme-color) 12%, transparent);border-bottom:1px solid var(--global-divider-color);color:var(--global-text-color);font-weight:600;letter-spacing:.01em}table[data-toggle=table].af-table-enhanced th.af-sortable{cursor:pointer;user-select:none}table[data-toggle=table].af-table-enhanced th.af-sortable:hover{color:var(--global-hover-color)}table[data-toggle=table].af-table-enhanced tbody tr.af-row-selected{background-color:color-mix(in srgb, var(--global-theme-color) 12%, transparent)}#toc-sidebar{z-index:1;top:5rem}#toc-sidebar.toc>.toc-list{overflow:visible;padding-left:.8rem}#toc-sidebar .toc-list{list-style:none;margin:0;padding-left:.8rem}#toc-sidebar .toc-list .toc-list{margin-top:.12rem;margin-left:0}#toc-sidebar .toc-link{color:var(--global-text-color);display:block;position:relative;font-size:.8rem;line-height:1.4;margin:0;padding:.14rem .25rem .14rem .4rem;transition:color .2s ease,font-weight .2s ease;transform:none}#toc-sidebar .toc-link::before{background-color:color-mix(in srgb, var(--global-divider-color) 80%, transparent) !important}#toc-sidebar .toc-link:hover{color:var(--global-hover-color);text-decoration:none;transform:none}#toc-sidebar .toc-link:hover::before{background-color:var(--global-hover-color) !important}#toc-sidebar .toc-link.is-active-link{color:var(--global-theme-color);font-weight:600;transform:none}#toc-sidebar .toc-link.is-active-link::before{background-color:var(--global-theme-color) !important}#toc-sidebar .toc-link.is-active-link:hover{color:var(--global-hover-color)}#toc-sidebar .toc-link.is-active-link:hover::before{background-color:var(--global-hover-color) !important}@media(max-width: 576px){#toc-sidebar{visibility:hidden;height:0;top:0}pre{font-size:.875rem;padding:8px 10px;margin:.5rem 0}figure.highlight{margin:.5rem 0}figure.highlight pre{font-size:.875rem;padding:8px 10px}:not(pre)>code{font-size:.875rem;padding:2px 4px}}@media(max-width: 400px){pre{font-size:.8rem;padding:6px 8px}figure.highlight pre{font-size:.8rem;padding:6px 8px}:not(pre)>code{font-size:.8rem;padding:1px 3px}}@media(min-width: 577px)and (max-width: 768px){pre{font-size:.9rem;padding:8px 12px}figure.highlight pre{font-size:.9rem;padding:8px 12px}}.newsletter-form-container{margin-bottom:20px}.newsletter-form{display:flex;flex-direction:row;align-items:center;width:100%}.newsletter-form-input,.bibsearch-form-input{color:var(--global-newsletter-text-color);background:var(--global-newsletter-bg-color);border:1px solid var(--global-newsletter-text-color);outline:none;margin:0px 10px 0px 0px;width:100%;max-width:350px;min-width:100px;box-sizing:border-box;box-shadow:rgba(0,0,0,.05) 0px 1px 2px;border-radius:6px;padding:8px 12px}.newsletter-form-input:focus{border-color:var(--global-theme-color) !important}.newsletter-form-button{background:var(--global-theme-color);color:var(--global-bg-color);display:flex;width:min-content;max-width:200px;white-space:nowrap;height:38px;align-items:center;flex-direction:row;padding:9px 17px;box-shadow:rgba(0,0,0,.05) 0px 1px 2px;border-radius:6px;text-align:center;font-style:normal;font-weight:500;line-height:20px;border:none;cursor:pointer}.newsletter-loading-button{background:var(--global-theme-color);color:var(--global-bg-color);display:none;width:min-content;max-width:300px;white-space:nowrap;height:38px;align-items:center;flex-direction:row;padding:9px 17px;box-shadow:rgba(0,0,0,.05) 0px 1px 2px;border-radius:6px;text-align:center;font-style:normal;font-weight:500;line-height:20px;border:none;cursor:pointer;margin-right:20px}.newsletter-success{color:var(--global-text-color);display:none;align-items:center;width:100%}.newsletter-error{color:var(--global-theme-color);display:none;align-items:center;width:100%}.newsletter-back-button{color:var(--global-theme-color);margin:10px auto;text-align:center;display:none;background:rgba(0,0,0,0);border:none;cursor:pointer}@media(max-width: 575px){.newsletter-form-input,.newsletter-form-button,.newsletter-loading-button,.newsletter-success,.newsletter-error{font-size:16px !important}.newsletter-form-container{margin-right:20px;margin-left:20px}}.af-popover{position:absolute;z-index:1070;max-width:276px;padding:.5rem .75rem;background-color:var(--global-bg-color);border:1px solid var(--global-divider-color);border-radius:.375rem;color:var(--global-text-color);font-size:.875rem;line-height:1.5;white-space:pre-line;word-wrap:break-word;box-shadow:0 .25rem .5rem rgba(0,0,0,.15);pointer-events:none}.af-tooltip{position:absolute;z-index:1080;padding:.25rem .5rem;background-color:rgba(0,0,0,.85);border-radius:.25rem;color:#fff;font-size:.8125rem;max-width:200px;word-wrap:break-word;pointer-events:none}.popover{background-color:var(--global-bg-color);border-color:var(--global-divider-color)}::highlight(search){background-color:var(--global-theme-color);color:var(--global-text-color)}.unloaded{display:none !important}.medium-zoom-overlay,.medium-zoom-image--opened{z-index:999}.echarts{height:400px;width:100%}.map{height:400px;width:100%}ninja-keys{--ninja-accent-color: var(--global-theme-color);--ninja-icon-size: 0px;--ninja-modal-background: var(--global-bg-color);--ninja-z-index: 1031}ninja-keys::part(ninja-input){color:var(--ninja-selected-text-color)}ninja-keys::part(ninja-input-wrapper){background:var(--global-bg-color)}figure.cover{display:inline-block;text-align:center;margin:.5rem}figure.cover img{vertical-align:bottom}figure.cover figcaption.finished{font-family:monospace;color:#23212d;text-transform:uppercase;background-color:#62c462}figure.cover figcaption.interested{font-family:monospace;color:#23212d;text-transform:uppercase;background-color:#7691db}.calendar-toggle-btn{align-items:center;background-color:rgba(0,0,0,0);border:1px solid var(--global-theme-color);border-radius:999px;color:var(--global-theme-color);cursor:pointer;display:inline-flex;font-size:.92rem;font-weight:600;gap:.25rem;padding:.45rem .95rem;transition:background-color .2s ease,color .2s ease,box-shadow .2s ease,transform .16s ease}.calendar-toggle-btn:focus-visible{outline:2px solid color-mix(in srgb, var(--global-theme-color) 45%, transparent);outline-offset:2px}.calendar-toggle-btn:hover{background-color:color-mix(in srgb, var(--global-theme-color) 14%, transparent);box-shadow:0 6px 16px rgba(0,0,0,.09);color:var(--global-theme-color);transform:translateY(-1px)}.calendar-toggle-btn:active{transform:translateY(0);box-shadow:0 2px 8px rgba(0,0,0,.08)}.calendar-toggle-btn[aria-pressed=true],.calendar-toggle-btn.is-open{background-color:var(--global-theme-color);color:var(--global-hover-text-color);border-color:var(--global-theme-color)}.calendar-toggle-btn[aria-pressed=true]:hover,.calendar-toggle-btn.is-open:hover{background-color:var(--global-hover-color);border-color:var(--global-hover-color);color:var(--global-hover-text-color)}.calendar-toggle-btn.btn-sm{cursor:pointer;font-size:.88rem}.tab{display:flex;flex-wrap:wrap;margin-left:-20px;padding:0;list-style:none;position:relative}.tab>*{flex:none;padding-left:20px;position:relative}.tab>*>a{display:block;text-align:center;padding:9px 20px;color:var(--global-text-color-light);border-bottom:2px solid rgba(0,0,0,0);border-bottom-color:rgba(0,0,0,0);font-size:12px;text-transform:uppercase;transition:color .1s ease-in-out;line-height:20px}.tab>.active>a{color:var(--global-text-color);border-color:var(--global-theme-color)}.tab>li>a{text-decoration:none;cursor:pointer}.tab-content{padding:0}.tab-content>li{display:none}.tab-content>li.active{display:block}.courses{margin-top:30px}.year{margin-top:40px;margin-bottom:20px;border-bottom:1px solid var(--global-divider-color);padding-bottom:10px}.course-list{display:grid;grid-template-columns:repeat(auto-fill, minmax(300px, 1fr));gap:20px}.course-item{border:1px solid var(--global-divider-color);border-radius:5px;padding:15px;background-color:var(--global-bg-color);transition:transform .2s ease-in-out}.course-item:hover{transform:translateY(-5px);box-shadow:0 10px 20px rgba(0,0,0,.05)}.course-title{margin-top:0;margin-bottom:10px}.course-meta{font-size:.9rem;color:var(--global-text-color-light);margin-bottom:10px}.course-term,.course-instructor{margin-right:15px}.course-description{font-size:.9rem;margin-bottom:15px}.course-description p{margin-bottom:0}.course-info{margin-bottom:30px}.typogram .diagram{display:block}.typogram .diagram line,.typogram .diagram circle,.typogram .diagram rect{stroke:var(--global-text-color)}.typogram .diagram line{stroke-width:2}.typogram .diagram circle{r:3.5}.typogram .diagram rect{width:6px;height:6px}.typogram .diagram text,.typogram .glyph,.typogram .debug text{font-family:Iosevka Fixed,monospace;font-size:3em;text-anchor:middle;alignment-baseline:central;white-space:pre;fill:var(--global-text-color)}.typogram .reserved{fill:rgba(0,0,0,0);white-space:pre}.typogram .debug[debug=true] .reserved{fill:var(--global-text-color);opacity:.5}.typogram .debug[debug=true] line.grid{stroke:var(--global-text-color);stroke-width:.2;stroke-linecap:butt;fill:var(--global-text-color);opacity:1%}.typogram polygon{stroke-width:0}.typogram .debug[debug=true] polygon.inner{fill:var(--global-text-color);stroke:var(--global-text-color);opacity:5%}.typogram polygon{stroke:var(--global-text-color);stroke-linecap:butt;fill:var(--global-text-color)}.typogram .debug[debug=true] polygon,.typogram .debug[debug=true] line.grid{opacity:10%}.typogram .debug[debug=true] polygon,.typogram .debug[debug=true] path,.typogram .debug[debug=true] circle{opacity:50%}.typogram .debug[debug=true] polygon{fill:red;stroke:red}.typogram .debug[debug=true] circle,.typogram .debug[debug=true] path{opacity:50%;fill:red}.typogram .debug[debug=true] circle{stroke:red}.typogram .debug[debug=true] .inner{stroke-width:.2}.typogram line.part{stroke-width:6;stroke-linecap:butt;stroke:var(--global-text-color)}.typogram .debug[debug=true] line.part{opacity:50%;stroke:red}.typogram .debug[debug=true] line.center{stroke-width:3;stroke-linecap:butt;opacity:10%;stroke:var(--global-text-color)}.typogram text::selection{fill:HighlightText;background-color:Highlight}body,.navbar,.navbar .nav-link,.navbar-brand,.post-title,.post-description,.desc,h1,h2,h3,h4,h6,.footer,.publications,.news,.table{font-family:Georgia,"Times New Roman",Times,serif}body{line-height:1.6}.post .post-header .post-title,.post .post-header .post-description,.post .post-header .desc{font-family:Georgia,"Times New Roman",Times,serif}h2,h3{letter-spacing:.005em}.featured-grid{display:grid;grid-template-columns:repeat(3, minmax(0, 1fr));gap:1.25rem;margin:.5rem 0 2rem}@media(max-width: 767.98px){.featured-grid{grid-template-columns:repeat(2, minmax(0, 1fr))}}@media(max-width: 575.98px){.featured-grid{grid-template-columns:minmax(0, 1fr)}}.featured-card{display:flex;flex-direction:column;color:inherit;text-decoration:none;border:1px solid var(--global-divider-color);border-radius:6px;overflow:hidden;background:var(--global-card-bg-color);transition:box-shadow .15s ease,transform .15s ease}.featured-card:hover,.featured-card:focus{color:inherit;text-decoration:none;box-shadow:0 4px 16px rgba(0,0,0,.09);transform:translateY(-2px)}.featured-card:hover .featured-title{text-decoration:underline}.featured-img{background:#fff;border-bottom:1px solid var(--global-divider-color)}.featured-img figure{margin:0}.featured-img img{display:block;width:100%;height:auto;aspect-ratio:3/2;object-fit:contain}.featured-body{padding:.7rem .85rem .85rem}.featured-title{font-weight:700;font-size:1.02rem;line-height:1.3;margin-bottom:.3rem}.featured-caption{font-size:.88rem;line-height:1.45;color:var(--global-text-color-light)}.featured-venue{margin-top:.45rem;font-size:.8rem;color:var(--global-theme-color)}.rmap-wrap{margin:.25rem 0 .5rem}.rmap{display:block;width:100%;height:auto;user-select:none}.rmap-mobile{display:none}@media(max-width: 767.98px){.rmap-desktop{display:none}.rmap-mobile{display:block}}.rmap-hint{font-size:.85rem;color:var(--global-text-color-light);margin:27pt 0 43pt}.rmap-hint a{color:inherit;text-decoration:underline}.topic{border-top:1px solid var(--global-divider-color);scroll-margin-top:72px}.topic>h2{margin:0;padding:.85rem 0;font-size:1.3rem;display:flex;align-items:center;gap:.6rem}.topic>h2::before{content:"";flex:none;width:.8rem;height:.8rem;border-radius:50%;background:var(--tint, #ccc);border:1px solid rgba(0,0,0,.15)}.js-topics .topic>h2{cursor:pointer}.js-topics .topic>h2::after{content:"+";margin-left:auto;font-weight:400;color:var(--global-text-color-light);font-size:1.4rem;line-height:1}.js-topics .topic.is-open>h2::after{content:"−"}.js-topics .topic .topic-body{display:none}.js-topics .topic.is-open .topic-body{display:block}.topic-body{padding-bottom:1rem}.topic-body p:last-child{margin-bottom:0}.topic:last-of-type{border-bottom:1px solid var(--global-divider-color)}.post article h2:not(:first-child):not(.bibliography){margin-top:30pt}.post article h2#featured-work{margin-top:60pt}.post .post article>hr{margin:1.5rem 0}@media(min-width: 576px){.post .post article>.profile{width:27%}}.post .post article>.profile .more-info{font-size:.9rem}.member-papers{margin-top:.9rem}.member-papers-title{font-weight:700;font-size:.95rem;margin-bottom:.3rem}.member-papers ul{padding-left:1.1rem;margin-bottom:0}.member-papers li{font-size:.92rem;line-height:1.45;margin-bottom:.25rem}.member-paper-venue{color:var(--global-text-color-light)}.hero-photo{margin:.5rem 0 1.75rem}.hero-photo figure{margin:0}.hero-photo img{display:block;width:100%;height:auto;aspect-ratio:2/1;object-fit:cover}@media(min-width: 576px){.navbar-expand-sm .navbar-nav .nav-link{padding-left:.375rem;padding-right:.375rem}}@media(min-width: 576px)and (max-width: 767.98px){.navbar-nav.navbar-menu-list{flex-wrap:wrap;justify-content:flex-end}}:root{--qc-ours: #d9473b;--qc-ours-ink: #b2392e;--qc-ours-soft: #fdeceb;--qc-base: #87929f;--qc-base-flat: #b9c1ca;--qc-base-soft: #f1f3f5;--qc-theory: #3c74a4;--qc-exp: #9e5d07;--qc-exp-mark: #cf7f12;--qc-ink: var(--global-text-color, #212529);--qc-muted: var(--global-text-color-light, #6c757d);--qc-rule: var(--global-divider-color, rgba(0, 0, 0, 0.12))}.qc-lede{font-size:1.12rem;line-height:1.65}.qc-figure{margin:1.5rem 0 1.25rem}.qc-chip{font:inherit;font-size:.9rem;line-height:1.2;padding:.32rem .8rem;border:1px solid var(--qc-rule);border-radius:999px;background:#fff;color:var(--qc-ink);cursor:pointer}.qc-chip:hover{border-color:var(--qc-base)}.qc-chip[aria-pressed=true]{background:var(--qc-ink);border-color:var(--qc-ink);color:#fff}.qc-chip:focus-visible,.qc-tl-more:focus-visible{outline:2px solid var(--qc-theory);outline-offset:2px}.qc-dot{display:inline-block;width:.55rem;height:.55rem;margin-right:.4rem;border-radius:50%;vertical-align:.05em}.qc-dot--ours{background:var(--qc-ours)}.qc-dot--theory{background:var(--qc-theory)}.qc-dot--experiment{background:var(--qc-exp-mark)}.qc-budget{margin:2rem 0 1.5rem;padding-top:1.4rem;border-top:1px solid var(--qc-rule)}.qc-budget-lead{margin:0 0 .9rem;font-size:1.75rem;line-height:1.2}.qc-budget-controls{display:flex;flex-wrap:wrap;align-items:center;gap:.4rem;margin:0 0 1.25rem}.qc-budget-controls-label{margin-right:.3rem;font-size:.9rem;color:var(--qc-muted)}.qc-budget-svg{display:block;width:100%;height:auto}.qc-budget-svg.is-entering{animation:qc-fade-in .35s ease-out}@keyframes qc-fade-in{from{opacity:.2}to{opacity:1}}.qc-patch-bg{fill:var(--qc-base-soft)}.qc-patch-flat{fill:var(--qc-base-flat)}.qc-patch-outline{fill:none;stroke:var(--qc-ink);stroke-width:1.5;vector-effect:non-scaling-stroke}.qc-budget-key{display:grid;grid-template-columns:repeat(2, minmax(0, 1fr));gap:.4rem 1.75rem;margin-top:1.1rem;font-size:.95rem;line-height:1.5}.qc-key{display:flex;align-items:baseline;gap:.55rem;margin:0}.qc-swatch{flex:none;width:.75rem;height:.75rem;border-radius:2px}.qc-key--ours .qc-swatch{background:var(--qc-ours)}.qc-key--base .qc-swatch{background:var(--qc-base)}.qc-budget-note{grid-column:1/-1;margin:.5rem 0 0;font-size:.85rem;color:var(--qc-muted)}.qc-chart-title{margin:0 0 .4rem;font-size:.9rem;color:var(--qc-muted)}.qc-chart{display:block;overflow:visible}.qc-chart text{font-family:inherit;fill:var(--qc-ink)}.qc-chart .qc-axis{font-size:12px;fill:var(--qc-muted)}.qc-chart .qc-grid{stroke:var(--qc-rule);stroke-width:1}.qc-chart .qc-pt{stroke:#fff;stroke-width:2}.qc-chart .qc-pt-surface{fill:var(--qc-base)}.qc-chart .qc-pt-qldpc{fill:var(--qc-theory)}.qc-chart .qc-pt-value{font-size:14px;font-weight:700}.qc-chart .qc-pt-who{font-size:12px;fill:var(--qc-muted)}.qc-chart a:hover .qc-pt-value{text-decoration:underline}.qc-chart .qc-ref{stroke:var(--qc-exp-mark);stroke-width:1.5;stroke-dasharray:3 4}.qc-chart .qc-ref-label{font-size:12px;fill:var(--qc-exp)}.qc-chart.is-narrow .qc-pt-value{font-size:13px}.qc-chart.is-narrow .qc-pt-who,.qc-chart.is-narrow .qc-axis,.qc-chart.is-narrow .qc-ref-label{font-size:11px}.qc-legend{display:flex;flex-wrap:wrap;gap:.3rem 1.25rem;margin:.4rem 0 0;font-size:.88rem;color:var(--qc-muted)}.qc-legend span::before{content:"";display:inline-block;width:.65rem;height:.65rem;margin-right:.4rem;border-radius:50%;vertical-align:.02em}.qc-legend .qc-legend-surface::before{background:var(--qc-base)}.qc-legend .qc-legend-qldpc::before{background:var(--qc-theory)}.qc-legend .qc-legend-ref::before{width:1.1rem;height:0;border-radius:0;border-top:2px dashed var(--qc-exp-mark);vertical-align:.3em}.qc-sources{margin-top:.75rem;font-size:.88rem}.qc-sources summary{cursor:pointer;color:var(--qc-muted)}.qc-sources summary:hover{color:var(--qc-ink)}.qc-sources-wrap{overflow-x:auto}.qc-sources table{width:100%;margin:.6rem 0;border-collapse:collapse}.qc-sources th,.qc-sources td{padding:.35rem .75rem .35rem 0;border-bottom:1px solid var(--qc-rule);text-align:left;vertical-align:top}.qc-sources p{margin:.4rem 0 0;color:var(--qc-muted)}.qc-blueprint{margin:1.25rem 0 1.75rem}.qc-bp-grid{display:grid;grid-template-columns:minmax(0, 1fr) 4.75rem minmax(0, 1fr) 4.75rem minmax(0, 1fr);grid-template-areas:"compiler compiler compiler compiler compiler" "ctop ctop ctop ctop ctop" "memory cmem logic cmagic factory" "cdec cdec cdec cdec cdec" "decoder decoder decoder decoder decoder" "hardware hardware hardware hardware hardware" "foundations foundations foundations foundations foundations";row-gap:.4rem;padding:.9rem;border:1px solid var(--qc-rule);border-radius:6px;background-color:#f9fbfc;background-image:linear-gradient(rgba(60, 116, 164, 0.07) 1px, transparent 1px),linear-gradient(90deg, rgba(60, 116, 164, 0.07) 1px, transparent 1px);background-size:20px 20px}.qc-bp-compiler{grid-area:compiler}.qc-bp-memory{grid-area:memory}.qc-bp-logic{grid-area:logic}.qc-bp-factory{grid-area:factory}.qc-bp-decoder{grid-area:decoder}.qc-bp-hardware{grid-area:hardware}.qc-bp-foundations{grid-area:foundations}.qc-bp-conn--top{grid-area:ctop}.qc-bp-conn--teleport{grid-area:cmem}.qc-bp-conn--magic{grid-area:cmagic}.qc-bp-conn--decode{grid-area:cdec}.qc-bp-conn{display:flex;flex-wrap:wrap;align-items:center;justify-content:center;gap:.2rem 3rem;margin:0;font-size:.75rem;line-height:1.3;color:var(--qc-muted)}.qc-bp-conn--teleport,.qc-bp-conn--magic{flex-direction:column;gap:.1rem;text-align:center}.qc-bp-arrow{font-size:1.15rem;color:var(--qc-ink)}.qc-bp-box{display:flex;flex-direction:column;justify-content:space-between;gap:.5rem;min-width:0;padding:.65rem .8rem .7rem;border:1px solid var(--qc-rule);border-radius:4px;background:#fff;color:inherit;text-decoration:none}a.qc-bp-box:hover,a.qc-bp-box:focus-visible{border-color:var(--qc-base);color:inherit;text-decoration:none}a.qc-bp-box:focus-visible{outline:2px solid var(--qc-theory);outline-offset:2px}.qc-bp-box.is-active{border-color:var(--qc-ink);box-shadow:inset 0 0 0 1px var(--qc-ink)}.qc-bp-box--wide{flex-direction:row;flex-wrap:wrap;align-items:center;column-gap:1.25rem}.qc-bp-box--theory{border-style:dashed;background:hsla(0,0%,100%,.6)}.qc-bp-text{display:flex;flex-direction:column;gap:.1rem;min-width:0}.qc-bp-box--wide .qc-bp-text{flex-direction:row;flex-wrap:wrap;align-items:baseline;column-gap:.75rem}.qc-bp-name{font-weight:700;line-height:1.25}.qc-bp-role{font-size:.85rem;line-height:1.35;color:var(--qc-muted)}.qc-bp-foot{display:flex;flex-wrap:wrap;align-items:center;gap:.35rem .55rem}.qc-meter{display:inline-flex;gap:2px}.qc-meter span{width:.85rem;height:.4rem;border-radius:1px;background:#e1e5e9}.qc-meter span.on{background:#4a5560}.qc-meter-label{font-size:.75rem;color:var(--qc-muted)}.qc-ours-pill{padding:.08rem .45rem;border-radius:999px;background:var(--qc-ours-soft);color:var(--qc-ours-ink);font-size:.72rem;line-height:1.3}.qc-bp-legend{margin:.55rem 0 1rem;font-size:.85rem;color:var(--qc-muted)}.qc-part{padding:1rem 1.15rem 1.15rem;border:1px solid var(--qc-rule);border-radius:6px}.qc-part+.qc-part{margin-top:1rem}.qc-part[hidden]{display:none}.qc-part-title{margin:0;font-size:1.25rem;font-weight:700}.qc-part-stage{display:flex;flex-wrap:wrap;align-items:baseline;gap:.25rem .6rem;margin:.3rem 0 .75rem;font-size:.88rem;color:var(--qc-muted)}.qc-part-what{margin:0 0 .9rem}.qc-part-cols{display:grid;grid-template-columns:minmax(0, 1.2fr) minmax(0, 1fr);gap:1.5rem}.qc-part-col h4{margin:0 0 .45rem;font-size:.95rem;font-weight:700}.qc-progress,.qc-open{margin:0;padding:0;list-style:none}.qc-progress li{margin:0 0 .55rem;padding:.05rem 0 .05rem .7rem;border-left:3px solid var(--qc-theory);font-size:.92rem;line-height:1.45}.qc-progress li.qc-pr-experiment{border-left-color:var(--qc-exp-mark)}.qc-progress a{color:inherit;text-decoration:underline;text-decoration-color:rgba(0,0,0,.25);text-underline-offset:2px}.qc-progress a:hover{text-decoration-color:currentColor}.qc-pr-meta{display:block;font-size:.8rem;color:var(--qc-muted)}.qc-pr-kind{margin-left:.4rem;color:var(--qc-theory)}.qc-pr-experiment .qc-pr-kind{color:var(--qc-exp)}.qc-open li{position:relative;margin:0 0 .55rem;padding-left:1.15rem;font-size:.92rem;line-height:1.45}.qc-open li::before{content:"";position:absolute;top:.45em;left:.1rem;width:.5rem;height:.5rem;border:1.5px solid var(--qc-base);border-radius:50%}.qc-part-ours{margin:1rem 0 0;padding:.6rem .85rem;border-left:3px solid var(--qc-ours);border-radius:0 4px 4px 0;background:var(--qc-ours-soft);font-size:.93rem;line-height:1.5}.qc-ours-label{margin-right:.45rem;font-weight:700;color:var(--qc-ours-ink)}.qc-hint{margin:0 0 1rem;font-size:.85rem;color:var(--qc-muted)}.qc-hint a{color:inherit;text-decoration:underline}.qc-timeline{margin:1rem 0 1.5rem}.qc-tl-filters{display:flex;flex-wrap:wrap;gap:.4rem;margin:0 0 1rem}.qc-tl-year{display:grid;grid-template-columns:4.5rem minmax(0, 1fr);column-gap:1rem;margin-top:.6rem;padding-top:.7rem;border-top:1px solid var(--qc-rule)}.qc-tl-yearlabel{margin:.05rem 0 0;font-size:1.15rem;font-weight:700}.qc-tl-list{margin:0;padding:0;list-style:none}.qc-tl-item{display:grid;grid-template-columns:2.4rem minmax(0, 1fr);column-gap:.75rem;padding:.2rem 0 .75rem}.qc-tl-when{padding-top:.15rem;font-size:.85rem;color:var(--qc-muted)}.qc-tl-body{padding-left:.75rem;border-left:3px solid var(--qc-theory)}.qc-tl-ours .qc-tl-body{border-left-color:var(--qc-ours)}.qc-tl-experiment .qc-tl-body{border-left-color:var(--qc-exp-mark)}.qc-tl-title{margin:0;font-weight:700;line-height:1.35}.qc-tl-title a{color:inherit}.qc-tl-kind{margin-left:.3rem;font-size:.78rem;font-weight:400;color:var(--qc-theory);white-space:nowrap}.qc-tl-ours .qc-tl-kind{color:var(--qc-ours-ink)}.qc-tl-experiment .qc-tl-kind{color:var(--qc-exp)}.qc-tl-text{margin:.15rem 0 0;font-size:.93rem;line-height:1.5}.qc-tl-more{margin-top:1rem;padding:.45rem .9rem;border:1px solid var(--qc-rule);border-radius:4px;background:#fff;color:var(--qc-ink);font:inherit;font-size:.92rem;cursor:pointer}.qc-tl-filters[hidden],.qc-tl-year[hidden],.qc-tl-item[hidden],.qc-tl-more[hidden]{display:none}.qc-terms{display:grid;grid-template-columns:repeat(2, minmax(0, 1fr));gap:1rem 2rem;margin:1rem 0 1.5rem}.qc-terms dt{font-weight:700}.qc-terms dd{margin:.15rem 0 0;font-size:.95rem}@media(max-width: 767.98px){.qc-terms,.qc-part-cols{grid-template-columns:minmax(0, 1fr)}.qc-part-cols{gap:1rem}.qc-bp-grid{grid-template-columns:minmax(0, 1fr);grid-template-areas:"compiler" "memory" "logic" "factory" "decoder" "hardware" "foundations"}.qc-bp-conn{display:none}}@media(max-width: 575.98px){.qc-lede{font-size:1.05rem}.qc-budget-lead{font-size:1.4rem}.qc-budget-key,.qc-tl-year{grid-template-columns:minmax(0, 1fr)}.qc-tl-yearlabel{margin-bottom:.3rem}}@media(prefers-reduced-motion: reduce){.qc-budget-svg.is-entering{animation:none}}