html{scroll-snap-type:y proximity;scroll-padding-top:15px}.back{margin:0 0 1rem .6rem}.arrow,.back{display:inline-block}.arrow{position:relative;padding:.6rem .9rem}.arrow:before{content:"";width:10px;height:10px;border-top:2px solid #aaa;border-right:2px solid #aaa;position:absolute;left:10px;top:9px;transform:rotate(-135deg)}.arrow:hover:before{border-top:2px solid #fff;border-right:2px solid #fff}.tweetButton{position:fixed;bottom:6rem;right:1rem;padding:1rem;border:1px solid #444;border-radius:8px;background-color:#000}.tweetButton:hover{background-color:#111}.tweetButton:active{background-color:#000;opacity:.5}#article{padding:0 1em}#article p{margin:.6rem 0}#article h1{font-weight:600;font-size:2em;margin-bottom:1.2rem}#article h2{font-weight:500;font-size:1.6em;margin:2.4rem 0 1.2rem;padding-bottom:.2rem;border-bottom:1px solid #444}#article h3{font-weight:500;font-size:1.2em;margin:2.4rem 0 .6rem}#article h4{font-weight:500;font-size:1.05em;margin:1.8rem 0 .6rem}#article img{margin:1rem 0;max-height:400px}#article table{max-width:calc(100vw - 2em)}#article h3 img,#article table thead tr th img{display:inline;margin:0 .6rem 0 0;vertical-align:-.55em;max-width:unset}#article h3 img{display:inline;margin:0 .6rem 0 0;vertical-align:middle}#article a{color:#9bd7ff;cursor:pointer;text-decoration:underline;font-weight:400}#article a[href^=http]:after{content:"";display:inline-block;background-image:url(/img/external-link.svg);width:1em;height:1em;margin:0 .1em;background-size:contain;vertical-align:middle}#article a:active{opacity:.5}#article ol{list-style-type:decimal}#article ol,#article ul{margin:.6rem 0;padding-left:1.2rem}#article ul{list-style-type:circle}#article li{margin:.3rem 0}#article ul li ul{list-style-type:disc}#article ul li ul li ul{list-style-type:square}#article strong{font-weight:500}#article blockquote{border-left:3px solid #aaa;padding-left:1rem;margin-bottom:1.2rem}#article .katex-display-wrapper{overflow-x:auto;width:calc(100vw - 2em);max-width:100%}#article .katex{margin:0 .2em}