body,html{color:#423f37;background-color:#fbfbfb;font-family:open sans regular,sans-serif;line-height:1.4;margin:0}@media(prefers-color-scheme:dark){body,html{color:#e9e2d8}}@media(prefers-color-scheme:dark){body,html{background-color:#181a1b}}h1{margin-top:1rem 0 0 0;margin-bottom:.25rem}body{margin-left:auto;margin-right:auto;max-width:90vw;width:720px}body>header{margin-bottom:3rem;margin-top:5rem;position:relative}body>header .back{position:absolute;top:-2rem}ul,p{line-height:1.58}li{margin-bottom:2px}h1{font-size:2.1em}article h1{font-size:1.8em}h2,h3{margin-bottom:-.2em;margin-top:1.2em}body.taxonomy,article{margin-bottom:60px}body.taxonomy div.footnotes ol,article div.footnotes ol{padding-left:1.2em}body.taxonomy hr,article hr{border-top:0;border-bottom:1px solid #5e5a4e;border-left:none;width:33%;margin-top:2rem;margin-bottom:2rem}body.section h1+small,body.page h1+small{display:block;margin-bottom:20px}a{color:#0476d3}@media(prefers-color-scheme:dark){a{color:#6bd4ff}}body.home h1{margin-bottom:0}.article-list a{display:block;text-decoration:none;margin-left:-16px;margin-right:-16px;margin-top:.5rem;padding:16px;font-weigth:bold}.article-list a .title{font-weight:700px;margin-bottom:.25rem}.article-list a:focus,.article-list a:hover{background-color:#f3f3f3;outline-width:0}@media(prefers-color-scheme:dark){.article-list a:focus,.article-list a:hover{background-color:#333}}.article-list a:focus .title,.article-list a:hover .title{text-decoration:underline}body.term time,body.home time,body.section time{color:#423f37}@media(prefers-color-scheme:dark){body.term time,body.home time,body.section time{color:#e9e2d8}}body.home .tags,body.term .tags,body.section .tags{color:#999}@media(prefers-color-scheme:dark){body.home .tags,body.term .tags,body.section .tags{color:#666}}footer{font-size:.8em;font-weight:200;line-height:1.58;margin:3rem auto}kbd{color:#423f37;background-color:#f4f1f3;border-color:#a3a8ae #676a6f #676a6f #a3a8ae;border-style:solid;border-width:1px;box-shadow:inset -1px -1px #d1d5da;font-weight:400;padding:3px 5px;position:relative;top:-.1em;vertical-align:middle}@media(prefers-color-scheme:dark){kbd{color:#e9e2d8}}@media(prefers-color-scheme:dark){kbd{background-color:#353135;border:1px solid #3d3f42;box-shadow:inset -1px -1px #131313}}a kbd{color:#0476d3}div.highlight{margin-top:1rem}div.highlight>pre{box-shadow:0 0 1px rgba(0,0,0,.1),0 1px 4px rgba(0,0,0,.2);font-weight:400;display:inline-block;font-size:1.1em;margin:0;min-width:320px;overflow-x:auto;padding:16px}div.highlight>div{box-shadow:0 0 1px rgba(0,0,0,.1),0 1px 4px rgba(0,0,0,.2);font-weight:400;overflow-x:auto;padding:12px 16px}.notice code,:is(h1,h2,ul,p,li) code{color:#423f37;background-color:#f4f1f3;font-weight:400;padding:.2em .4em;position:relative;top:-.1em}@media(prefers-color-scheme:dark){.notice code,:is(h1,h2,ul,p,li) code{color:#e9e2d8}}@media(prefers-color-scheme:dark){.notice code,:is(h1,h2,ul,p,li) code{background-color:#353135}}li a code,p a code{color:#0476d3}@media(prefers-color-scheme:dark){li a code,p a code{color:#6bd4ff}}figure{text-align:center;flex-shrink:0;margin:2em auto}figure img{max-width:100%;max-height:95vh;margin-bottom:.3rem}figure>img{box-shadow:0 0 2px rgba(0,0,0,.35),0 4px 12px rgba(0,0,0,.5)}figure figcaption{color:#7a7465;font-size:.9em}@media(prefers-color-scheme:dark){figure figcaption{color:#c4b297}}.end-of-post{margin-top:3rem;text-align:center;color:#5e5a4e}main.cv h2{border-bottom:1px solid #423f37}main.cv h3{font-weight:600;margin-bottom:.25rem}main.cv .publication,main.cv .job{margin-top:2.2rem}main.cv .publication .when-where,main.cv .job .when-where{color:#7a7465;font-size:.9em}@media(prefers-color-scheme:dark){main.cv .publication .when-where,main.cv .job .when-where{color:#c4b297}}@media print{main.cv+div+footer{display:none}}.sponsor,.discuss{color:#7a7465}@media(prefers-color-scheme:dark){.sponsor,.discuss{color:#c4b297}}article+.sponsor,article+.discuss{margin-top:3rem}blockquote{margin-left:0;background-color:#f1f1f1;border-left:2px solid #c2bfb6;box-sizing:border-box}@media(prefers-color-scheme:dark){blockquote{background-color:#222426;border-color:#7c6646}}blockquote p,blockquote pre{padding:4px 8px}.permalink,.feed{float:right;line-height:33.6px}.permalink,.permalink a,.feed,.feed a{color:#999}.permalink{width:auto;font-size:1rem;font-weight:400}@media print{.permalink{display:none!important}}sup{line-height:1}.errata,.update{border:1px solid #423f37;margin-top:1.2em}.errata header,.update header{background-color:#81d8d0;font-weight:700}.errata header,.errata section,.update header,.update section{padding:.3rem}.errata section :first-child,.update section :first-child{margin-top:0}.errata section :last-child,.update section :last-child{margin-bottom:0}@media(prefers-color-scheme:dark){.errata,.update{border-color:#e9e2d8}.errata header,.update header{background-color:#23736d}}.errata section pre,.update section pre{display:block}