body {background:white; color:black; font-family:IBM Plex Sans,Calibri,Sans-Serif; font-size:13px 
	max-width:960px; margin-left:auto; margin-right:auto;
	padding-left:10px; padding-right:10px }
a:link{color:#0066aa; text-decoration:none}
a:visited{color:#0066aa; text-decoration:none}
a:hover{color:#0066aa; text-decoration:underline}
h4 {font-size:1em }
h3 {font-size:15px }
h2 {font-size:16px; margin-bottom:0 }
h1 {font-size:18px; margin:0 }
code,pre {font-family:Monospace; font-size:10pt}
.nav a {text-decoration:none; color:black}
.nav a:hover {text-decoration:underline; color:black}
.arr { color:#0066aa; font-weight:bold }