figure img,figcaption{width:75%;margin-right:auto;margin-left:auto;display:block}figure figcaption{margin-top:0;text-align:center}figure.full-width img,figcaption{width:100%}.main-news td{border:0}blockquote,body,dd,dl,figure,h1,h2,h3,h4,h5,h6,hr,ol,p,pre,ul{margin:0;padding:0}body{font:300 16px/1.5 -apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";color:#333;background-color:#fff}blockquote,dl,figure,h1,h2,h3,h4,h5,h6,ol,p,pre,table,ul{margin-bottom:1rem}img{max-width:100%;vertical-align:middle}figure>img{display:block}figcaption{font-size:.875rem}ol,ul{margin-left:2rem}li>ol,li>ul{margin-bottom:0}h1,h2,h3,h4,h5,h6{font-weight:300}a{color:#0645ad;text-decoration:none}a:hover{text-decoration:underline}blockquote{color:rgb(106.25,106.25,106.25);padding-left:1rem;border-left:2px solid rgb(233.75,233.75,233.75);font-style:italic;font-size:.875rem}blockquote>:last-child{margin-bottom:0}code,pre{background-color:#fcfcfc}code{padding:1px 5px;font-family:Inconsolata,Monaco,Consolas,monospace;color:#f14e32}pre{padding:8px 12px;overflow-x:auto;border:1px solid rgb(233.75,233.75,233.75)}pre>code{border:0;padding-right:0;padding-left:0;tab-size:4;color:inherit}table{width:100%;max-width:100%;border-collapse:separate;border-spacing:0;table-layout:fixed}td,th{padding:.5rem;line-height:inherit}th{text-align:left;vertical-align:bottom;border-bottom:2px solid rgb(233.75,233.75,233.75)}td{vertical-align:top;border-bottom:1px solid rgb(233.75,233.75,233.75)}hr{border:0;border-top:1px solid rgb(246.5,246.5,246.5);margin:2rem auto}.underlined{flex:1;text-decoration:none;background-image:linear-gradient(to right,yellow 0,yellow 100%);background-position:0 1.2em;background-size:0 100%;background-repeat:no-repeat;transition:background .5s}.underlined:hover{background-size:100% 100%}.underlined--thin{background-image:linear-gradient(to right,black 0,black 100%)}.underlined--thick{background-position:0 -0.1em}.underlined--offset{background-position:0 .2em;box-shadow:inset 0 -0.5em 0 0 white}.underlined--gradient{background-position:0 -0.1em;background-image:linear-gradient(to right,yellow 0,lightgreen 100%)}.underlined--reverse{background-position:100% -0.1em;transition:background 1s;background-image:linear-gradient(to right,yellow 0,yellow 100%)}.site-header{border-bottom:1px solid rgb(233.75,233.75,233.75);margin-top:-2rem;max-width:48rem}.site-header p{font-size:.875rem}.site-header .site-intro{font-size:1.3rem}.smallcap{font-size:1.5rem;font-weight:bold}.smallcap a,.smallcap a:hover{text-decoration:none;letter-spacing:2px;background-color:#333;color:#eee;padding-left:.5rem;padding-right:.5rem;padding-top:.2rem;padding-bottom:.2rem}.page-content{position:relative;padding:2rem 1.5rem;margin:1rem;box-sizing:border-box;max-width:48rem}.home section+section{margin-top:2rem;max-width:48rem}.post-list>li{margin-bottom:.5rem;list-style-type:none;margin-left:-2rem}.post-list>li a{color:#333;text-decoration:none;font-weight:normal}.post-list>li a:hover{color:#0645ad;text-decoration:underline}.post-list>li time{font-size:.875rem;color:#aaa;display:inline-block}@media screen and (max-width:600px){.post-list>li time{display:block;font-size:.875rem}}.tag-title{color:#0645ad}.post-header{margin-bottom:2rem}.post-title{font-size:2rem;letter-spacing:-1px;line-height:1.2;margin-bottom:.5rem;font-weight:bold}.post-meta{font-size:.875rem;font-family:Inconsolata,Monaco,Consolas,monospace;color:#aaa}.post-meta a,.post-meta a:visited{color:rgb(106.25,106.25,106.25)}.post-meta .tags a,.post-meta .tags a:visited{background:rgb(233.75,233.75,233.75);padding:.1rem .5rem}.post-content{margin-bottom:2rem;font-weight:normal}.post-content h1,.post-content h2,.post-content h3,.post-content h4,.post-content h5,.post-content h6{margin-top:2rem;font-weight:normal}.post-content h1,.post-content h2{font-size:2rem}.post-content h3{font-size:1.5rem}.post-content h4{font-size:1.25rem}.post-content h5,.post-content h6{font-size:1rem}.copyright{margin-top:2rem;font-size:.875rem;font-family:Inconsolata,Monaco,Consolas,monospace}.copyright p{color:#aaa}.copyright p a,.copyright p a:visited{color:rgb(106.25,106.25,106.25)}.clearfix::after{content:"";clear:both;display:table}.paper-author{font-weight:bold}.paper-title{font-weight:bold}.distinguished-paper{font-weight:bolder;color:green}.portrait{width:200px;height:259px;float:left;margin-right:1.5em;margin-bottom:1em}@media screen and (max-width:600px){.portrait{height:auto;width:50%;float:none;display:block;margin-left:auto;margin-right:auto}}.publications-list li{margin-bottom:1em}.highlight{background-color:#fcfcfc;color:#586e75}.highlight .c{color:#93a1a1}.highlight .err{color:#586e75}.highlight .g{color:#586e75}.highlight .k{color:#859900}.highlight .l{color:#586e75}.highlight .n{color:#586e75}.highlight .o{color:#859900}.highlight .x{color:#cb4b16}
.highlight .p{color:#586e75}.highlight .cm{color:#93a1a1}.highlight .cp{color:#859900}.highlight .c1{color:#93a1a1}.highlight .cs{color:#859900}.highlight .gd{color:#2aa198}.highlight .ge{color:#586e75;font-style:italic}.highlight .gr{color:#dc322f}.highlight .gh{color:#cb4b16}.highlight .gi{color:#859900}.highlight .go{color:#586e75}.highlight .gp{color:#586e75}.highlight .gs{color:#586e75;font-weight:bold}.highlight .gu{color:#cb4b16}.highlight .gt{color:#586e75}.highlight .kc{color:#cb4b16}.highlight .kd{color:#268bd2}.highlight .kn{color:#859900}.highlight .kp{color:#859900}.highlight .kr{color:#268bd2}.highlight .kt{color:#dc322f}.highlight .ld{color:#586e75}.highlight .m{color:#2aa198}.highlight .s{color:#2aa198}.highlight .na{color:#586e75}.highlight .nb{color:#b58900}.highlight .nc{color:#268bd2}.highlight .no{color:#cb4b16}.highlight .nd{color:#268bd2}.highlight .ni{color:#cb4b16}.highlight .ne{color:#cb4b16}.highlight .nf{color:#268bd2}.highlight .nl{color:#586e75}.highlight .nn{color:#586e75}.highlight .nx{color:#586e75}.highlight .py{color:#586e75}.highlight .nt{color:#268bd2}.highlight .nv{color:#268bd2}.highlight .ow{color:#859900}.highlight .w{color:#586e75}.highlight .mf{color:#2aa198}.highlight .mh{color:#2aa198}.highlight .mi{color:#2aa198}.highlight .mo{color:#2aa198}.highlight .sb{color:#93a1a1}.highlight .sc{color:#2aa198}.highlight .sd{color:#586e75}.highlight .s2{color:#2aa198}.highlight .se{color:#cb4b16}.highlight .sh{color:#586e75}.highlight .si{color:#2aa198}.highlight .sx{color:#2aa198}.highlight .sr{color:#dc322f}.highlight .s1{color:#2aa198}.highlight .ss{color:#2aa198}.highlight .bp{color:#268bd2}.highlight .vc{color:#268bd2}.highlight .vg{color:#268bd2}.highlight .vi{color:#268bd2}.highlight .il{color:#2aa198}