body {
	font-family: arial, helvetica, sans-serif;	
}

.googleads {
	float: right;
	clear: right;
	margin: 5px;
}

.mainheader {
   font-size: 24pt;
   background-color: #E3F0F3;
}

.smallprint {
  position: absolute;
  clear: all;
  left: 5px;
  bottom: 5px;
  font-size: 7pt;
  color: grey;
}

.acronym {
	border-bottom-width: 1px;
	border-bottom-style: dashed;
	border-bottom-color: #69C856;
}
	  
h1 {
	text-decoration: underline;
}

pre {
	border-style: dotted;
	border-width: 1px;
	border-color: #B1AB54;
	background-color: #E5E5BB;
	padding: 5px;
}