:root{--bg-h: 95;--bg-s: 50%;--bg-l: 95%;--bg: hsl(var(--bg-h), var(--bg-s), var(--bg-l));--bg-d05: hsl(var(--bg-h), var(--bg-s), calc(var(--bg-l) - 5%));--bg-d10: hsl(var(--bg-h), var(--bg-s), calc(var(--bg-l) - 10%));--ac-h: calc(var(--bg-h) + 180);--ac-s: 90%;--ac-l: 25%;--ac: hsl(var(--ac-h), var(--ac-s), var(--ac-l));--ac-l10: hsl(var(--ac-h), var(--ac-s), calc(var(--ac-l) + 10%));--dim: #666}@media (min-width: 800px){main{clear:both;max-width:66.6666666667%}.fullwidth,div.highlighter-rouge{display:block;margin-left:0;margin-right:-50%}.right,aside{display:block;float:right;clear:right;margin-right:-50%;width:40%;text-align:left}nav #name{float:left}nav #links{float:right}nav #links a+a{margin-left:10px}aside{transform:translateY(-50%) translateY(-1rem)}}.only-print{display:none}@media print{.no-print{display:none}.only-print{display:inherit}.pagebreak{page-break-before:always}}.post-date{color:var(--dim)}aside{background:var(--bg-d05);border:1px solid var(--bg-d10);border-left:10px solid var(--bg-d10);padding:10px;border-radius:10px}aside p:first-child{margin-top:0px}aside p:last-child{margin-bottom:0px}html{scroll-behavior:smooth}body{max-width:1200px;padding:2em;margin:auto;color:#111;background:var(--bg);line-height:1.4}nav{text-align:center;margin-bottom:2em}nav a{white-space:nowrap}nav #name{font-size:1.4rem;margin-bottom:1em}nav #name a{text-decoration:none}img{display:block;margin:auto;max-width:100%;border:5px solid var(--bg-d10);border-radius:3px;object-fit:cover}pre{max-width:100vh;overflow:auto}code{font-family:"Inconsolata", "Menlo", "DejaVu Sans Mono", monospace}a:link,a:visited,a code{color:var(--ac)}a:hover{color:var(--ac-l10)}details.bibtex{margin:1em 0}.author{white-space:nowrap}.author.me{font-weight:bold}.contact{text-align:center}.contact li{list-style:none}.contact ul{padding:0}ul.papers a:link:not(:hover){text-decoration:none}#news p{display:inline;margin:0}.time-list{padding:0;margin:0;display:table;border-spacing:1em}.time-list li{display:table-row}.time-list li time{display:table-cell;color:var(--dim);font-style:italic}time{color:var(--dim);font-style:italic}.inline-list,.comma-list,.paper-authors,.bracket-list,.paper-links{display:inline;padding:0}.inline-list li,.comma-list li,.paper-authors li,.bracket-list li,.paper-links li{display:inline;list-style:none}.comma-list li:after,.paper-authors li:after{content:", "}.comma-list li:last-child:after,.paper-authors li:last-child:after{content:""}.bracket-list li:before,.paper-links li:before{content:"["}.bracket-list li:after,.paper-links li:after{content:"]"}.paper{page-break-inside:avoid}.paper-title{font-weight:normal;margin-bottom:0}.paper-notes{font-style:italic}li.paper.star{list-style-type:"★ "}figure figcaption{margin-top:0.5em}footer{color:var(--dim);font-size:70%}.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}