body{max-width:700px;max-width:65ch;margin:0 auto;padding:2.5rem 1.75rem;font:1.1rem/1.5 Charter;color:#080808;background-color:#fdfdfe}img{max-width:100%}nav{display:flex;justify-content:space-between;list-style-type:none;margin-bottom:25px}hr{background:transparent;max-height:0;border:none;border-top:1px solid #aaaaaa}pre{background-color:#fff;border-radius:5px;border:solid #ebebeb 1px;padding:10px}ul,ol{margin-top:-.8rem;margin-bottom:1rem;padding-left:2rem}h2{margin-bottom:0}h1{font-size:2.15rem}.math-display span,.math-inline span{font-size:100%}.language-python,.language-rust{overflow:auto}.katex-display{margin-top:.25em;margin-bottom:.25em}.math{overflow-x:scroll;overflow:auto}h1,h2,h3,h4,h5,h6{line-height:1.2}code{font-size:.8rem}@font-face{font-family:Charter;src:url(../../../fonts/Charter.woff2) format("woff2"),url(../../../fonts/Charter.woff) format("woff");font-display:swap}@font-face{font-family:Charter;src:url(../../../fonts/Charter-Bold.woff2) format("woff2"),url(../../../fonts/Charter-Bold.woff) format("woff");font-weight:700;font-display:swap}@font-face{font-family:Charter;src:url(../../../fonts/Charter-Italic.woff2) format("woff2"),url(../../../fonts/Charter-Italic.woff) format("woff");font-style:italic;font-display:swap}@font-face{font-family:Charter;src:url(../../../fonts/Charter-BoldItalic.woff2) format("woff2"),url(../../../fonts/Charter-BoldItalic.woff) format("woff");font-weight:700;font-style:italic;font-display:swap}@media (prefers-color-scheme: dark){body{color:#ddd;background:#080808}pre{background:#181818;border-color:#282828}hr{background:transparent;border:none;border:1px solid #282828;max-height:0}}