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}header{margin-bottom:3rem;margin-top:5rem;position:relative}header .back{position:absolute;top:-2rem}body.home,body.term,body.section,header{margin-left:auto;margin-right:auto;max-width:90vw;width:720px}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 blockquote,body.taxonomy section.footnotes,body.taxonomy p,body.taxonomy ul,body.taxonomy ol,body.taxonomy h1,body.taxonomy h2,body.taxonomy h3,body.taxonomy h4,body.taxonomy time,body.taxonomy div,body.taxonomy>pre,article blockquote,article section.footnotes,article p,article ul,article ol,article h1,article h2,article h3,article h4,article time,article div,article>pre{margin-left:auto;margin-right:auto;max-width:90vw;width:720px}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:#0e73c6}@media(prefers-color-scheme:dark){a{color:#6bd4ff}}body.home h1{margin-bottom:0}body.term a.article-link,body.home a.article-link,body.section a.article-link{display:block;text-decoration:none;margin-left:-16px;margin-right:-16px;margin-top:.5rem;padding:16px;font-weigth:bold}body.term a.article-link .title,body.home a.article-link .title,body.section a.article-link .title{font-weight:700px;margin-bottom:.25rem}body.term a.article-link:focus,body.term a.article-link:hover,body.home a.article-link:focus,body.home a.article-link:hover,body.section a.article-link:focus,body.section a.article-link:hover{background-color:#f3f3f3;border-radius:16px;outline-width:0}@media(prefers-color-scheme:dark){body.term a.article-link:focus,body.term a.article-link:hover,body.home a.article-link:focus,body.home a.article-link:hover,body.section a.article-link:focus,body.section a.article-link:hover{background-color:#333}}body.term a.article-link:focus .title,body.term a.article-link:hover .title,body.home a.article-link:focus .title,body.home a.article-link:hover .title,body.section a.article-link:focus .title,body.section a.article-link: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{margin-left:auto;margin-right:auto;max-width:90vw;width:720px;font-size:.8em;font-weight:200;line-height:1.58;margin:3rem auto}kbd{color:#423f37;background-color:#f4f1f3;border-radius:3px;border:1px solid #a3a8ae;box-shadow:inset -1px -1px #d1d5da;font-weight:400;padding:3px 5px;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:#0e73c6}div.highlight{margin-top:1rem}div.highlight>pre{margin-left:auto;margin-right:auto;max-width:90vw;width:720px;box-shadow:0 0 1px rgba(0,0,0,.1),0 1px 4px rgba(0,0,0,.2);border-radius:8px;font-weight:400;display:inline-block;font-size:1.1em;margin:0;min-width:320px;overflow-x:auto;padding:16px}div.highlight>div{margin-left:auto;margin-right:auto;max-width:90vw;width:720px;box-shadow:0 0 1px rgba(0,0,0,.1),0 1px 4px rgba(0,0,0,.2);border-radius:8px;font-weight:400;overflow-x:auto;padding:12px 16px}:is(h1,h2,ul,p) code{color:#423f37;background-color:#f4f1f3;border-radius:.375em;font-weight:400;padding:.2em .4em;position:relative;top:-.1em}@media(prefers-color-scheme:dark){:is(h1,h2,ul,p) code{color:#e9e2d8}}@media(prefers-color-scheme:dark){:is(h1,h2,ul,p) code{background-color:#353135}}li a code,p a code{color:#0e73c6}@media(prefers-color-scheme:dark){li a code,p a code{color:#6bd4ff}}figure{width:100vw;max-width:85vw;text-align:center;flex-shrink:0;margin:2em auto}figure img{max-width:100%;max-height:70vh;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{margin-left:auto;margin-right:auto;max-width:90vw;width:720px;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{margin-left:auto;margin-right:auto;max-width:90vw;width:720px}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{margin-left:auto;margin-right:auto;max-width:90vw;width:720px;color:#7a7465}@media(prefers-color-scheme:dark){.sponsor,.discuss{color:#c4b297}}article+.sponsor,article+.discuss{margin-top:3rem}blockquote p{background-color:#f1f1f1;border-left:2px solid #c2bfb6;border-radius:8px;box-sizing:border-box;padding:4px 8px}@media(prefers-color-scheme:dark){blockquote p{background-color:#222426;border-color:#7c6646}}.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}sup a{line-height:1}