html,body{height:100%;width:100%;margin:0px;padding:0px}#page{min-height:100%;width:100%;position:relative}#content{display:inline-block;padding-bottom:30px}#header{margin-bottom:30px}#footer{display:inline-block;bottom:0;width:100%}.break{clear:both}.container{padding-right:100px;padding-left:100px;margin:0}body{background-color:#ececec;color:#000000;font-family:'Inter',sans-serif;font-size:100%;line-height:1.4;-webkit-font-smoothing:antialiased}h1,h2,h3,h4{margin-top:30px;margin-bottom:30px/2;font-family:'Ubuntu',sans-serif;font-weight:600}h1{color:#000000}h2,h3,h4{color:#000000}h1{font-size:200%}h2{font-size:150%}h3{font-size:125%}h4{font-size:100%}a{text-decoration:none;color:#385E86}#header{background-color:#4B4B4B}ul.nav-list{list-style-type:none;margin:0px;padding:0px;overflow:hidden;width:100%}.nav-elem a{display:block;padding:10px;margin:0px;color:#EEE;font-family:'Ubuntu',sans-serif;font-weight:500;text-align:center;text-decoration:none}.nav-head a{padding-left:0px;padding-right:30px;color:#EEE}.nav-elem a:active,.nav-elem a:hover,.nav-elem a:focus{background-color:#385E86}.nav-head a:active,.nav-head a:hover,.nav-head a:focus{background-color:#4B4B4B}.nav-active a{background-color:#000}li.nav-left{float:left}li.nav-right{float:right}#footer{background-color:#4B4B4B;color:#EEE;font-size:12px;font-weight:500}.foot-block{float:left;padding-top:20px;padding-bottom:20px}.foot-about{width:250px;margin-right:20px}.foot-map{padding-left:30px;padding-right:30px}.foot-head{font-weight:600;margin-bottom:0.25em}.foot-list{padding:0;margin-top:0}.foot-item{display:block;font-weight:500;color:#FFF;text-decoration:underline}.foot-contact{margin-top:1em}.foot-madeby{position:absolute;bottom:0;text-align:right;right:100px;padding-top:20px;padding-bottom:20px;font-size:10px}.foot-link{font-weight:500;color:#FFF;text-decoration:underline}pre,code{font-family:Menlo,"Lucida Console",Courier,monospace;font-size:90%}pre{margin:0;margin-left:1.7em;padding-left:0.3em;padding-right:0.3em}.bold-code code{font-weight:bold}.sourceCode span.kw{color:#082}.sourceCode span.dt{color:#709}.sourceCode span.dv,.sourceCode span.bn,.sourceCode span.fl,.sourceCode span.ch,.sourceCode span.st{color:#C00}.sourceCode span.co{color:#6AA;font-style:italic}.sourceCode span.al{color:#F00;font-weight:bold}.sourceCode span.er{color:#F00;font-weight:bold}.sourceCode.haskell span.dt{color:#000000}.sourceCode.haskell span.fu{color:#A62}.sourceCode.bad{display:inline-block;border-color:#c0311a;border-radius:5px;border-style:solid;border-width:2px}table.numberLines td.sourceCode pre{margin-left:0.25em}table.numberLines td.lineNumbers{color:#CCC;text-align:right;padding-right:0.25em}.img-me{float:left;max-width:160px;margin-right:20px}.big-name{margin-bottom:0.33em}.affiliation{margin-top:0.5em}.contact{margin-top:0.33em}.news-list{padding:0}li.news-item{display:block}.news-title{font-weight:bold;margin-right:0.25em}.news-date{margin-left:0.25em}.news-body p{margin-top:0em;margin-bottom:1.5em}.pub-list{padding:0}li.pub-item{display:block;margin-top:1em}.pub-block{display:inline-block;vertical-align:text-top}.pub-title{font-weight:bold}.pub-best{font-weight:bold}.pub-venue-name{font-style:italic}.pub-issue{font-style:italic}.pub-links{font-size:90%;font-weight:600}.pub-abstract{font-size:90%;display:none}.ref-list:not(.resume){counter-reset:refCounter}.ref-list li{margin-top:1em}tr.schedule-row>td{padding-bottom:2ex}td.schedule-date{font-weight:bold;text-align:right;width:8ex}.schedule-important{color:#FF0000}.schedule-topic{font-weight:bold}.schedule-info>p{margin:0;margin-bottom:1ex}table.slides th{text-align:left;padding-left:2ex;padding-right:0}table.slides td{padding-left:2ex;padding-right:0}td.slides-date{font-weight:bold;text-align:right;padding-left:0;width:100pt}