body {background-color: white}
body {font-family: "proxima-nova", "Helvetica Neue", "Lucida Sans Unicode", "Lucida Grande", Arial, Sans-Serif}
body {color: #565867}
body {line-height: 1.3}
tt {font-size: 110%}
h1 {font-size: 170%; color: black}
h1 {font-family: "proxima-nova", "Helvetica Neue", "Lucida Sans Unicode", "Lucida Grande", Arial, Sans-Serif}
h1 {text-align: center}
h2 {font-size: 125%; color: black}
h2 {line-height: 1.3}
h2 {margin-bottom:5px}
h2 {font-family: "proxima-nova", "Helvetica Neue", "Lucida Sans Unicode", "Lucida Grande", Arial, Sans-Serif}
h3 {font-size: 105%; color: black}
h3 {line-height: 1.3}
h3 {margin-bottom:5px}
h3 {font-style: italic}
h3 {font-family: "proxima-nova", "Helvetica Neue", "Lucida Sans Unicode", "Lucida Grande", Arial, Sans-Serif}
p {font-size: 100%}
pre {font-size: 120%}
ol.decimal {list-style-type: decimal}
ol.roman {list-style-type: lower-roman}
ol.alpha {list-style-type: lower-alpha}
.ss {font-family: "proxima-nova", "Helvetica Neue", "Lucida Sans Unicode", "Lucida Grande", Arial, Sans-Serif}

code {
 font-size:inherit;
 font-family: "Roboto Mono",Consolas,Monaco,monospace;
 font-family: "Source Code Pro",Consolas,Monaco,monospace;
}

.centeredImage
  {
	text-align:center;
	margin-top:0px;
	margin-bottom:0px;
	padding:0px;
  }
  
.indent {
	text-indent: 25px;
	margin-top: 0px;
	margin-bottom: 0px;
}

.vspace {
	margin-top: 7px;
}
  	
.code {
	width: 650px;
	color: black;
	line-height: 1.2;
	border: 1px solid #5babf9;
	background-color: #f0fbfb;
	font-family: monospace;
	padding: 5px;
	margin-left: 20px;
	margin-top:0px;
	margin-bottom:0px;
	overflow: scroll;
}
  	
.widecode {
	width: 800px;
	color: black;
	line-height: 1.2;
	border: 1px solid #5babf9;
	background-color: #f0fbfb;
	font-family: monospace;
	padding: 5px;
	margin-left: 20px;
	margin-top:0px;
	margin-bottom:0px;
	overflow: scroll;
}
  	
.narrowcode {
	width: 500px;
	color: black;
	line-height: 1.2;
	border: 1px solid #5babf9;
	background-color: #f0fbfb;
	font-family: monospace;
	padding: 5px;
	margin-left: 20px;
	margin-top:0px;
	margin-bottom:0px;
}
	
.code2 {
	font-family: monospace;
	white-space: pre;
	background-color: #ffffdd;
	border-left: solid thin;
	border-right: solid thin;
}

#hmin
{
	font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif;
	font-size: 12px;
	background: #fff;
	margin: 45px;
	border-collapse: collapse;
	text-align: left;
}
#hmin th
{
	font-size: 14px;
	font-weight: normal;
	color: #039;
	padding: 10px 8px;
	border-bottom: 2px solid #6678b1;
}
#hmin td
{
	border-bottom: 1px solid #ccc;
	color: #669;
	padding: 6px 8px;
}
#hmin tbody tr:hover td
{
	color: #009;
}