body{margin:0;min-height:110vh;display:flex;flex-direction:column}header>div{display:flex;flex-wrap:wrap;justify-content:center;padding:5pt 0;background-color:#000;color:#bebebe;font:1.2em/1 monospace}header>div a:link{color:#bebebe;text-decoration:none}header>div a:visited{color:#bebebe;text-decoration:none}header>div ul,nav ul,footer ul,.nob{list-style-type:none;padding:0;margin:0}div#header-text{margin-left:10pt}img#header-img{border-radius:30%;height:60pt}nav{background:#222;color:#bebebe;font:1.2em/1 monospace}nav a{display:block;padding:8pt;background-color:#222;text-align:center}nav a:link{color:#bebebe;text-decoration:none}nav a:visited{color:#bebebe;text-decoration:none}nav a:hover{background-color:#111}nav li{float:left}nav ul#langs{margin-left:auto}nav div#nav{display:flex;max-width:512pt}main{flex:1}main div#main{padding:0 12pt;max-width:500pt;font:1em/1.5 sans-serif;padding-top:20pt;padding-bottom:20pt}main div#main h1{font-size:1.5em}main pre{overflow:scroll}main hr{color:#bebebe}footer{background-color:#000}footer>div#footer{padding:12pt;max-width:500pt;font:1.2em/1 monospace;color:#bebebe}footer a:link{color:#bebebe;text-decoration:none}footer a:visited{color:#bebebe;text-decoration:none}div.center{margin:0 auto}.horizontal-list>li{float:left;padding:2pt}.push-down{padding-top:12pt}