@import url("https://fonts.googleapis.com/css2?family=DM+Mono:ital,wght@0,300;0,400;0,500;1,300;1,400;1,500&display=swap");html{margin:0;padding:0}*{box-sizing:border-box}body{font-family:"DM Mono",monospace;line-height:1.5;font-size:18px;margin:0;padding:0;display:flex;flex-direction:column;align-items:center}.navigate{position:sticky;position:-webkit-sticky;top:0;width:100%;border-bottom-right-radius:10px;border-bottom-left-radius:10px;margin:0;padding:0;display:flex;flex-flow:row wrap;justify-content:center;align-items:center;gap:20px;animation:lockin .5s forwards}.blog{max-width:60%;margin:40px 0;padding:0;border-radius:10px}.content{padding:20px 80px}.kernel{padding:10px 30px;margin:30px 30px;overflow:auto}.mathjax{overflow-y:hidden;overflow-x:auto}.cite{vertical-align:super;font-weight:500;font-size:10px}.bibliography{text-align:left;list-style-type:none;overflow:auto}.center{width:100%;overflow:auto;text-align:center;display:flex;flex-flow:row wrap;justify-content:center}img{max-width:100%}p{text-indent:4em}p.first{text-indent:0}hr{margin:50px 0;width:100%;border:solid 2px #333e}ul>li{margin:10px 0}@media only screen and (max-width:950px){body{margin:0}.blog{max-width:100%}.content{padding:20px 40px}.kernel{margin:30px 0}.navigate{justify-content:space-evenly;border-top-right-radius:0;border-top-left-radius:0}}