:root{--paper:#ffffff;--ink:#000000;--link:#0000ee;--visited:#551a8b;--active:#ee0000;--rule:#808080;color-scheme:light}body{max-width:40em;margin:0 auto;padding:1em 16px 2em;background:var(--paper);color:var(--ink);font-family:times new roman,Times,serif;font-size:1.2rem;line-height:1.55}a{color:var(--link)}a:visited{color:var(--visited)}a:active{color:var(--active)}hr{border:0;border-top:1px solid var(--rule);border-bottom:1px solid #e0e0e0;margin:1.5em 0}hr.between{margin:2em 0}.site-name{margin:.3em 0 .1em}.nav{margin:0}h2{margin-top:1.6em}.post-title,h2:first-child{margin-top:.5em;margin-bottom:.2em}h3{margin-bottom:.2em}.preview h3{font-size:1.3em}.date{margin-top:0}p,li{text-wrap:pretty}blockquote{margin:1em 1em 1em 1.5em}ul{padding-left:1.5em}li{margin:.3em 0}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.2em 0}.katex{font-size:1.08em}.katex-display>.katex{font-size:1em}.footer{font-size:.9em}.post-title{font-size:1.8em;line-height:1.2}h2{font-size:1.4em}li:target{background:#ff9}li a{overflow-wrap:anywhere}