@font-face{font-family:berkeley mono variable;src:url(/fonts/BerkeleyMonoVariable-Regular.woff2)format('woff2'),url(/fonts/BerkeleyMonoVariable-Regular.woff)format('woff');font-weight:100;font-style:normal;font-display:swap}html body,html body *{font-family:berkeley mono variable,monospace!important}html body pre,html body code,html body h1,html body h2,html body h3,html body h4,html body h5,html body h6,html body p,html body li,html body a,html body blockquote,html body strong,html body th,html body td{font-family:berkeley mono variable,monospace!important}html body{font-size:14px;line-height:1.4}h1{font-size:32px}h2{font-size:28px}h3{font-size:24px}h4{font-size:1.25em}body>main>h1:first-child{text-align:center;margin-bottom:1em}.menu{text-align:center;margin-top:0;margin-bottom:2em}.menu li{display:inline-block;margin:0 1em}main{max-width:800px;margin:0 auto;padding:0 1em}@media screen and (min-width:1150px){#tableOfContentContainer{position:fixed;left:max(20px,calc(50vw - 620px));top:250px;max-width:250px;width:auto}main{margin:0 auto}}#TableOfcontents{opacity:.8;transition-duration:.3s}#TableOfcontents:hover{opacity:1}