@font-face{font-family:berkeley-mono;src:url(/assets/berkeley-mono-0DTawwte.woff2) format("woff2");font-weight:400;font-style:normal}body{font-family:berkeley-mono,Arial,sans-serif;margin:2rem auto;max-width:80ch;line-height:1.6}header{text-align:center;margin-bottom:3rem}nav a{margin:0 .5rem;text-decoration:none;color:#4682b4}nav a:hover{text-decoration:underline}main h1,main h2,main h3{margin-top:1.6em}code,pre{background:#f4f4f4;padding:.2em .4em}pre{overflow-x:auto}