@import url('https://fonts.googleapis.com/css2?family=M+PLUS+2:wght@100..900&family=M+PLUS+Code+Latin:wdth,wght@100..125,100..700&display=swap');@import url('https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.2.1/css/all.min.css');*{box-sizing:border-box}html{font-size:70%;font-family:"M PLUS 2",sans-serif;font-optical-sizing:auto;font-weight:300;font-style:normal;background:whitesmoke}body{font-size:1.6rem;color:#000;display:flex;flex-direction:column;margin:0}.horiz{display:flex;justify-content:center;flex-flow:row nowrap}header{padding:3ex;height:100vh;position:sticky;top:0;overflow-y:scroll}.menubutton>input{display:none}.menubutton>input:checked+label .not-active{display:none}.menubutton>input:not(:checked)+label .active{display:none}main{max-width:90rem;padding:0 3ex 3ex 3ex}main a{text-decoration:none;font-weight:400;color:black}main a:hover{text-decoration:underline;background:Gainsboro}main li{margin-bottom:1ex}.logo{text-align:right;margin-bottom:3ex;font-weight:500;font-size:2.1rem}nav{text-align:right}nav ul{list-style:none}nav a{display:block;margin:1.5ex 0 0 0;width:100%;position:relative;font-size:1.8rem;font-weight:500;color:black;text-decoration:none;border-bottom:0.2rem solid dimgray}nav a:hover{background:gainsboro;border-bottom:0.2rem solid black}nav .toc a{font-size:1.5rem;color:dimgray}footer{margin-top:3rem;padding:1.2rem 0;border-top:0.2rem solid #000;font-size:1.2rem;color:#555}h1{font-size:2.4rem}h2{font-size:2rem}article .header{font-size:1.4rem;font-style:italic;color:#555}.logo a{color:#000;text-decoration:none}@media (max-width:799px){body{}main{flex-shrink:5}.menubutton{flex:1 100%;position:sticky;top:0;z-index:2;background:whitesmoke;border-bottom:0.2rem solid dimgray;padding:0.5ex 3ex}body:has(.menubutton>input:not(:checked)) header{width:0;padding:0}body:has(.menubutton>input:checked) header{width:360px;flex-shrink:0}header{transition-property:width,padding;transition-duration:200ms;overflow:hidden}}@media (min-width:800px){.menubutton{display:none}header{width:360px;min-width:240px}main{flex-shrink:5}}