h1 {
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
	font-size: 16pt;
	font-weight: bold;
	color: #333333;
}

h2 {
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
	font-size: 12pt;
	font-weight: bold;
	color: #336699;
}

p, a, li {
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
	font-size: 9pt;
	}
	
p#coxde {
	font-family: courier;
	font-size: 9pt;
	color: #336600;
	margin-left: 20px;
	}

code {
  font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  font-size: 0.875em;
  color: #e83e8c;
  background-color: #f8f9fa;
  padding: 0.2em 0.4em;
  border-radius: 0.2rem;
}

pre {
border: 1px dashed rgb(0, 0, 0); padding: 8px; background-color: rgb(240, 255, 240); font-family:Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace, sans-serif; font-size: 13px; 
}

pre#excode {
border: 1px dashed rgb(0, 0, 0); padding: 8px; background-color: rgb(255, 255, 255); font-family: Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace, sans-serif; font-size: 13px; 
}