*{-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}html,body{margin:0;padding:0}html{font-family:"Open Sans", "Source Sans Pro", "Helvetica Neue", Helvetica, Arial, sans-serif;font-size:18px;font-weight:350;line-height:1.6}@media (min-width: 38em){html{font-size:20px}}@media (prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}body{color:#515151;background-color:#fff;-webkit-text-size-adjust:100%;-ms-text-size-adjust:100%}.MathJax_Display{font-size:80%}a{color:#268bd2;text-decoration:none}a:hover,a:focus{text-decoration:underline}h1,h2,h3,h4,h5,h6{margin-top:0;margin-bottom:.5rem;font-weight:600;font-family:"Open Sans", "Source Sans Pro";line-height:1.1;color:#333;letter-spacing:-.025rem}h1{font-size:2rem}h2{font-size:1.6rem}h3{font-size:1.3rem}h4,h5,h6{font-size:1rem}p{font-family:"Open Sans", "Helvetica Neue", Helvetica;font-weight:350;margin:0 0 1rem;font-size:0.8rem}ul,ol,dl{font-family:"Open Sans", "Helvetica Neue", Helvetica;font-weight:350;font-size:0.8rem;margin-top:0;margin-bottom:1rem}li>ul>li{margin-left:1rem}dt{font-weight:bold}dd{margin-bottom:.5rem}ul{font-size:0.8rem;list-style:inside circle;padding-left:0}ul li{margin-bottom:.25rem}ul ul,ul ol{margin-top:.25rem;margin-bottom:.5rem}ul.share-buttons{list-style:none;padding:0}ol{list-style:inside decimal;padding-left:0}ol li{margin-bottom:.25rem}ol ul,ol ol{margin-top:.25rem;margin-bottom:.5rem}p+h1,p+h2,p+h3,ul+h1,ul+h2,ul+h3,ol+h1,ol+h2,ol+h3{margin-top:1.5rem}hr{border:0;border-top:.5px solid #eee;border-bottom:.5px solid #eee;margin:1.5rem auto}strong{color:#333;font-weight:600}abbr{font-size:80%;font-weight:bold;color:#555;text-transform:uppercase}abbr[title]{cursor:help;border-bottom:1px dotted #e5e5e5}blockquote{padding:0 0 0 1.5rem;margin:0 2rem 1rem 0;border-left:.5rem}blockquote p:last-child{margin-bottom:0}code,pre{font-family:Monaco, "Courier New", monospace}code{padding:.25em .5em;font-size:80%;color:#bf616a;background-color:#f9f9f9;border-radius:3px}pre{display:block;margin-top:0;margin-bottom:1rem;padding:0.5rem;font-size:.8rem;line-height:1.4;white-space:pre;white-space:pre-wrap;word-break:break-all;background-color:#f9f9f9}pre code{padding:0;font-size:80%;color:inherit;background-color:transparent}.highlight{margin-bottom:1rem;border-radius:4px;border:none}.highlight pre{margin-bottom:0}.gist .gist-file{font-family:Monaco, "Courier New", monospace !important}.gist .markdown-body{padding:15px}.gist pre{padding:0;background-color:transparent}.gist .gist-file .gist-data{font-size:.8rem !important;line-height:1.4}.gist code{padding:0;color:inherit;background-color:transparent;border-radius:0}img{display:block;max-width:100%;margin:0 0 1rem;border-radius:5px}table{margin-bottom:1rem;width:100%;font-size:70%;border:1px solid #e5e5e5;border-collapse:collapse}td,th{padding:.25rem .5rem;border:1px solid #e5e5e5;font-size:140%}tbody tr:nth-child(odd) td,tbody tr:nth-child(odd) th{background-color:#f9f9f9}.lead{font-size:1.25rem}.container{max-width:40rem;margin-left:auto;margin-right:auto}.masthead-title{font-weight:300}.masthead-title a{color:#333}.masthead-title a:hover,.masthead-title a:focus{text-decoration:none}.masthead-title span{color:#ddd}.masthead-title--small{margin-bottom:.75rem;font-size:.75rem;font-weight:600;text-transform:uppercase}.masthead-title--small a{color:#333}.masthead-title--small a:hover,.masthead-title--small a:focus{text-decoration:none}.masthead .masthead-nav{margin-bottom:2rem}.masthead .masthead-nav a{color:#aaa;font-weight:300;text-transform:lowercase;-webkit-transition:all .2s ease;-moz-transition:all .2s ease;transition:all .2s ease}.masthead .masthead-nav a:hover,.masthead .masthead-nav a:focus{color:#333;text-decoration:none}.masthead .masthead-nav a+a{margin-left:.25rem}.page-title{margin-bottom:2rem}.post-title{margin-bottom:.25rem}.post-date{margin-bottom:2rem;font-size:.75rem;text-transform:uppercase}.list-post-title{margin-bottom:.25rem}.list-post-title a{color:#333}.list-post-title a:hover,.list-post-title a:focus{text-decoration:none}.list-post-date{margin-bottom:1rem;font-size:.75rem;text-transform:uppercase}.projects-list a{color:#333}.profile-thumbnail{object-fit:cover;object-position:center top;width:200px;height:200px}.highlight .hll{background-color:#ffc}.highlight .c{color:#999988;font-style:italic}.highlight .err{color:#a61717;background-color:#e3d2d2}.highlight .k{color:#000000;font-weight:bold}.highlight .o{color:#000000;font-weight:bold}.highlight .cm{color:#999988;font-style:italic}.highlight .cp{color:#999999;font-weight:bold;font-style:italic}.highlight .c1{color:#999988;font-style:italic}.highlight .cs{color:#999999;font-weight:bold;font-style:italic}.highlight .gd{color:#000000;background-color:#fdd}.highlight .ge{color:#000000;font-style:italic}.highlight .gr{color:#a00}.highlight .gh{color:#999}.highlight .gi{color:#000000;background-color:#dfd}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaa}.highlight .gt{color:#a00}.highlight .kc{color:#000000;font-weight:bold}.highlight .kd{color:#000000;font-weight:bold}.highlight .kn{color:#000000;font-weight:bold}.highlight .kp{color:#000000;font-weight:bold}.highlight .kr{color:#000000;font-weight:bold}.highlight .kt{color:#445588;font-weight:bold}.highlight .m{color:#099}.highlight .s{color:#d01040}.highlight .na{color:teal}.highlight .nb{color:#0086B3}.highlight .nc{color:#445588;font-weight:bold}.highlight .no{color:teal}.highlight .nd{color:#3c5d5d;font-weight:bold}.highlight .ni{color:purple}.highlight .ne{color:#990000;font-weight:bold}.highlight .nf{color:#990000;font-weight:bold}.highlight .nl{color:#990000;font-weight:bold}.highlight .nn{color:#555}.highlight .nt{color:navy}.highlight .nv{color:teal}.highlight .ow{color:#000000;font-weight:bold}.highlight .w{color:#bbb}.highlight .mf{color:#099}.highlight .mh{color:#099}.highlight .mi{color:#099}.highlight .mo{color:#099}.highlight .sb{color:#d01040}.highlight .sc{color:#d01040}.highlight .sd{color:#d01040}.highlight .s2{color:#d01040}.highlight .se{color:#d01040}.highlight .sh{color:#d01040}.highlight .si{color:#d01040}.highlight .sx{color:#d01040}.highlight .sr{color:#009926}.highlight .s1{color:#d01040}.highlight .ss{color:#990073}.highlight .bp{color:#999}.highlight .vc{color:teal}.highlight .vg{color:teal}.highlight .vi{color:teal}.highlight .il{color:#099}.pos_header{margin-left:2rem}.people{margin:auto;text-align:center;margin-top:0.75em}.list-item-people{display:inline-block;padding-right:1em}.list-post-title img{margin-bottom:0.75em;margin-top:1.25em}.list-post-title .name{font-size:18px}.list-post-title{color:black}.list-detail{font-size:15px;color:#838383}.list-item a:hover,.list-post-title:hover .name,.list-post-title .name:hover{color:#c42929}.list-item a:hover,.list-post-title:hover .scholar,.list-post-title .scholar:hover{color:#29c4a0}.page-title{margin-bottom:0.6em}.navbar>.container{width:auto;max-width:1170px;padding-left:15px;padding-right:15px}.navbar-brand{font-size:17px;font-weight:350}.navbar,.navbar-nav>li>a{background-color:white;font-family:'Open Sans', sans-serif;text-transform:uppercase;font-weight:400;font-size:80%}.navbar-nav>li>a{padding-left:0.95em;padding-right:0.95em;white-space:nowrap}@media (max-width: 767px){.navbar-header{float:none}.navbar-toggle{display:block}.navbar-collapse{border-top:1px solid rgba(0,0,0,0.08)}.navbar-collapse.collapse{display:none !important}.navbar-collapse.collapse.in{display:block !important}.navbar-nav,.navbar-nav.navbar-right{float:none !important;margin:7.5px -15px}.navbar-nav>li{float:none}.navbar-nav>li>a{padding:0.75em 0 0.5em 2.5em;font-size:15px}.navbar-nav{margin-right:15px}}.navbar-nav>li.dropdown>.dropdown-toggle{cursor:pointer}.navbar-nav>li.dropdown>.dropdown-toggle .caret{margin-left:0.45em}.navbar-nav .dropdown-menu>li>a{font-family:'Open Sans', sans-serif;text-transform:uppercase;font-weight:400;letter-spacing:0.02em;color:#777;white-space:nowrap}.navbar-nav .dropdown-menu>li>a:hover,.navbar-nav .dropdown-menu>li>a:focus{background-color:#f5f8fc;color:#E57200}@media (min-width: 768px){.navbar-nav>li.dropdown:hover>.dropdown-menu,.navbar-nav>li.dropdown:focus-within>.dropdown-menu{display:block}.navbar-nav>li.dropdown>.dropdown-menu{margin-top:0;min-width:14rem;padding:0.3rem 0;border:1px solid rgba(35,45,75,0.1);border-top:2px solid #E57200;border-radius:0 0 4px 4px;box-shadow:0 8px 20px rgba(35,45,75,0.13)}.navbar-nav .dropdown-menu>li>a{padding:0.6em 1.4em;font-size:80%}}@media (max-width: 767px){.navbar-nav .dropdown-menu{display:block;position:static;float:none;width:auto;margin:0;padding:0;border:0;box-shadow:none;background:transparent}.navbar-nav .dropdown-menu>li{margin:0}.navbar-nav .dropdown-menu>li>a{padding:0.5em 0 0.5em 4em;font-size:14px}.navbar-nav>li.dropdown>.dropdown-toggle .caret{display:none}}.navbar-nav>li{margin-bottom:0}.navbar-toggle,.navbar-default .navbar-toggle:hover{border:none;background-color:#FFF}.rl-title{text-align:center;margin-bottom:1.4rem}.rl-title h2{font-size:1.45rem;color:#232D4B;margin-bottom:0.35rem}.rl-title .rl-sub{display:block;font-size:0.65rem;letter-spacing:0.16em;text-transform:uppercase;color:#E57200;font-weight:600}.rl-lede p{font-size:0.78rem;line-height:1.7}.rl-lede .rl-lead{font-size:0.87rem;line-height:1.75;color:#2b3450}.rl-lede .rl-lead em{font-style:normal;font-weight:600;color:#232D4B;box-shadow:inset 0 -0.4em 0 rgba(229,114,0,0.18);transition:box-shadow 200ms ease}.rl-lede .rl-term{color:inherit;text-decoration:none}.rl-lede .rl-term:hover,.rl-lede .rl-term:focus{color:inherit;text-decoration:none}.rl-lede .rl-term:hover em,.rl-lede .rl-term:focus em{box-shadow:inset 0 -0.95em 0 rgba(229,114,0,0.3)}.rl-lede .rl-term:focus-visible{outline:2px solid rgba(229,114,0,0.6);outline-offset:2px}.rl-lede .rl-pull{margin:1.6rem 0;padding:0.1rem 0 0.1rem 1.15rem;border-left:3px solid #E57200;font-size:0.87rem;line-height:1.6;color:#232D4B}.rl-lede .rl-openlabel{margin-bottom:0.9rem;font-size:0.74rem;font-weight:600;color:#232D4B}.rl-lede .rl-open{display:grid;gap:1.2rem 2.2rem;list-style:none;margin:0;padding:0;counter-reset:rlopen}.rl-lede .rl-open>li{counter-increment:rlopen;margin:0;padding-top:0.7rem;border-top:1px solid rgba(35,45,75,0.14);font-size:0.74rem;line-height:1.65;transition:border-top-color 220ms ease}.rl-lede .rl-open>li:hover{border-top-color:rgba(229,114,0,0.65)}.rl-lede .rl-open>li::before{content:counter(rlopen,decimal-leading-zero);display:block;margin-bottom:0.4rem;font-size:0.58rem;letter-spacing:0.15em;font-weight:600;color:#E57200}.rl-lede .rl-open .rl-q{font-weight:600;color:#232D4B}@media (min-width: 46rem){.rl-lede .rl-open{grid-template-columns:1fr 1fr}}.rl-lede .rl-trivia-row{display:grid;gap:1.6rem;align-items:stretch;margin-top:2.1rem}@media (min-width: 46rem){.rl-lede .rl-trivia-row{grid-template-columns:minmax(0, 1fr) 18rem}}.rl-lede .rl-trivia-row .rl-trivia{margin:0}.rl-lede .rl-trivia{margin:2.1rem 0 0;padding:1.15rem 1.35rem 1.25rem;border:1px solid rgba(229,114,0,0.28);border-left:3px solid #E57200;border-radius:7px;background:#fdf4ec;scroll-margin-top:4.5rem;transition:box-shadow 400ms ease, border-color 400ms ease}.rl-lede .rl-trivia:target,.rl-lede .rl-trivia.rl-flash{border-color:rgba(229,114,0,0.55);box-shadow:0 0 0 4px rgba(229,114,0,0.14)}.rl-lede .rl-trivia>p{margin:0;font-size:0.74rem;line-height:1.65}.rl-lede .rl-trivia-label{display:block;margin-bottom:0.55rem;font-family:"Open Sans", "Helvetica Neue", Helvetica, sans-serif;font-size:0.58rem;letter-spacing:0.15em;text-transform:uppercase;font-weight:600;color:#E57200}.rl-lede .rl-nowrap{white-space:nowrap}.rl-lede .rl-pointer{width:2.3rem;height:0.7rem;vertical-align:-0.05em;overflow:visible}@media (max-width: 45.99rem){.rl-lede .rl-pointer{width:1rem;transform:rotate(90deg);transform-origin:50% 50%}}.rl-lede .rl-trivia-list{list-style:none;margin:0.9rem 0 0;padding:0;counter-reset:rltrivia}.rl-lede .rl-trivia-list>li{position:relative;counter-increment:rltrivia;margin:0 0 0.65rem;padding-left:1.65rem;font-size:0.74rem;line-height:1.6}.rl-lede .rl-trivia-list>li:last-child{margin-bottom:0}.rl-lede .rl-trivia-list>li::before{content:counter(rltrivia);position:absolute;left:0;top:0.12rem;width:1.05rem;height:1.05rem;border-radius:50%;background:#E57200;color:#fff;font-size:0.52rem;font-weight:600;line-height:1.05rem;text-align:center}.rl-figure{margin:2.2rem 0 2.4rem;overflow-x:auto}.rl-figure svg{display:block;width:100%;min-width:520px;height:auto}.rl-figure-top{margin:0.6rem 0 2.1rem}.rl-stack{display:flex;flex-direction:column;padding-top:1.1rem;font-family:"Open Sans", "Helvetica Neue", Helvetica, sans-serif}.rl-stack .rl-figcaption{margin-top:0.7rem}.rl-stack-label{display:block;margin-bottom:0.6rem;font-size:0.58rem;letter-spacing:0.15em;text-transform:uppercase;font-weight:600;color:#949bab}.rl-stack-cards{display:flex;flex:1 1 auto;flex-direction:column}.rl-level{display:flex;flex:1 1 auto;flex-direction:column;justify-content:center;padding:0.5rem 0.7rem 0.55rem 0.8rem;border:1px solid rgba(35,45,75,0.14);border-left:4px solid rgba(229,114,0,0.85);border-radius:7px;background:#f4f7fb}.rl-level-name{font-size:0.67rem;font-weight:600;line-height:1.25;color:#232D4B}.rl-level-note{margin-top:0.12rem;font-size:0.56rem;font-weight:350;line-height:1.4;color:#6b7280}.rl-level-base{flex-grow:0.6;border-color:rgba(229,114,0,0.35);border-left-color:rgba(35,45,75,0.6);background:#fdf4ec}.rl-level-link{flex:0 0 auto;align-self:center;width:0;height:0;margin:0.4rem 0;border-left:6px solid transparent;border-right:6px solid transparent;border-top:7px solid rgba(35,45,75,0.3)}.rl-level-link-up{margin:0.7rem 0;border-top:0;border-bottom:7px solid rgba(229,114,0,0.55)}.rl-lede .rl-figcaption{font-size:0.65rem;line-height:1.55;text-align:center;-webkit-hyphens:manual;-ms-hyphens:manual;hyphens:manual}.rl-figcaption{margin:0.75rem auto 0;max-width:34rem;font-family:"Open Sans", "Helvetica Neue", Helvetica, sans-serif;font-size:0.65rem;font-weight:350;line-height:1.55;color:#57606f;text-align:center}.rl-stub{margin:3rem 0 4rem;padding:1.6rem 1.8rem;border:1px dashed rgba(35,45,75,0.18);border-radius:6px;background:#fafbfd;font-size:0.72rem;line-height:1.65;color:#7c8598;text-align:center}.rl-section{margin-top:2.6rem;scroll-margin-top:4.5rem}.rl-section h3{font-size:1.15rem;color:#232D4B;margin-bottom:0.2rem}.rl-section>p{font-size:0.74rem;line-height:1.7}.rl-kicker{display:block;margin-bottom:0.75rem;font-family:"Open Sans", "Helvetica Neue", Helvetica, sans-serif;font-size:0.58rem;letter-spacing:0.15em;text-transform:uppercase;color:#E57200;font-weight:600}.rl-papers{list-style:none;margin:1.2rem 0 0;padding:0}.rl-papers>li{margin:0 0 1.1rem;padding-left:0.95rem;border-left:2px solid rgba(35,45,75,0.13);transition:border-left-color 220ms ease}.rl-papers>li:hover{border-left-color:rgba(229,114,0,0.65)}.rl-papers .rl-name{font-family:"Open Sans", "Helvetica Neue", Helvetica, sans-serif;font-size:0.74rem;font-weight:600;color:#232D4B}.rl-papers a.rl-name:hover{color:#E57200;text-decoration:none}.rl-papers .rl-venue{margin-left:0.45rem;font-family:"Open Sans", "Helvetica Neue", Helvetica, sans-serif;font-size:0.56rem;letter-spacing:0.06em;text-transform:uppercase;color:#515151;white-space:nowrap}.rl-papers p{margin:0.35rem 0 0;font-size:0.72rem;line-height:1.65;color:#7c8598}.rl-papers .rl-extra{margin-top:0.3rem;font-size:0.6rem}.rl-papers .rl-extra a{margin-right:0.7rem}.rl-lede p,.rl-lede .rl-open>li,.rl-lede .rl-trivia-list>li,.rl-section>p,.rl-papers p{text-align:justify;-webkit-hyphens:auto;-ms-hyphens:auto;hyphens:auto}.rl-lede .rl-openlabel,.rl-papers .rl-extra{text-align:left;-webkit-hyphens:manual;-ms-hyphens:manual;hyphens:manual}@media (max-width: 40rem){.rl-figcaption{text-align:left}}.rl-more{margin:2.6rem 0 0.4rem;padding-top:1rem;border-top:1px solid rgba(35,45,75,0.14)}.rl-more-label{display:block;margin-bottom:0.6rem;font-size:0.58rem;letter-spacing:0.15em;text-transform:uppercase;font-weight:600;color:#E57200}.rl-more-list{display:flex;flex-wrap:wrap;gap:0.45rem;list-style:none;margin:0;padding:0}.rl-more-list>li{margin:0}.rl-more-list a,.rl-more-list .rl-more-here{display:inline-block;padding:0.34em 0.85em;border:1px solid rgba(35,45,75,0.16);border-radius:999px;font-family:'Open Sans', sans-serif;font-size:0.64rem;letter-spacing:0.02em;text-transform:uppercase;line-height:1.5}.rl-more-list a{color:#2b3450;text-decoration:none;transition:border-color 180ms ease, color 180ms ease, background-color 180ms ease}.rl-more-list a:hover,.rl-more-list a:focus{border-color:rgba(229,114,0,0.6);background:#f5f8fc;color:#E57200;text-decoration:none}.rl-more-list .rl-more-here{border-color:rgba(229,114,0,0.55);background:rgba(229,114,0,0.08);color:#232D4B;font-weight:600}.rl-more-center{border-top:0;padding-top:0;margin:1.8rem 0 0}.rl-more-center .rl-more-list{justify-content:center}