body{color:black;font-size:24px;margin:0px auto 0px auto;max-width:1000px;padding-left:235px}div#content{margin-left:auto;margin-right:auto;padding-left:50px;padding-right:50px;line-height:1.6em}div#nav{border-bottom:2px solid black;margin-bottom:30px;padding:12px 0px 12px 0px;display:none;z-index:1}div#logo a{color:black;float:left;font-size:18px;font-weight:bold;text-decoration:none}div#nav{float:left;display:block;position:fixed;left:0px;top:0px;width:235px;border-right:1px solid black;height:100%;background:#cfffff}div#nav ul{margin:0;margin-top:10px;margin-bottom:10px;padding:0}div#nav li{list-style:none;margin:0;padding:0;max-width:100%}div#nav a{margin:0}div#nav a:hover{text-decoration:underline}div#nav{text-align:center}#nav a{color:black;font-weight:bold;font-size:18px;font-weight:bold;margin-left:12px;text-decoration:none;text-transform:uppercase}p>code,.sourceCode{background:#edffff}p>code{padding:3pt}.sourceCode{padding-left:3pt;padding-right:3pt}h1{font-size:24px}h2{font-size:20px}div.info{color:#555;font-size:14px;font-style:italic}#logo{position:fixed;left:-38px;background:transparent;max-width:35%}@media (max-width:800px){div#nav{position:fixed;left:0;top:0;display:flex;align-items:center;width:100%;height:3em;text-align:left;overflow:hidden}div#nav ul{margin:0;float:left;text-align:left;width:65%;margin-left:10px;line-height:1.1em}div#nav a{font-size:14pt}div#nav li{display:inline-block}body{font-size:20px;margin-left:auto;margin-right:auto;padding-left:0}div#content{margin-top:3.5em;margin-left:10px;margin-right:10px;padding-left:0;padding-right:0}#logo{float:right;padding:0;margin:0;line-height:0;position:relative;width:25%;overflow:hidden;top:calc(min(130%, 300px));left:10px}div#nav a{color:black;float:left;font-weight:bold;text-decoration:none}div#nav ul{}p>code,.sourceCode{font-size:10pt;line-height:1.2em}}@media (max-width:600px){div#nav a{font-size:12pt}}@media (max-width:450px){div#nav{height:2.5em}div#nav ul{line-height:.9em}div#nav a{font-size:10pt}div#content{margin-top:4.5em}}@media (min-height:900px){#logo{bottom:-1.5em}}