/* this is for the contents of the header page */

hr.header {
	margin-left: 15px;
	margin-right: 15px;
}

div.content {
	margin-left: 15px;
	margin-right: 15px;
	font-size: 120%;
}
div.content hr {
	width: 100%;	
}
div.content h1 {
	text-align: left;
	font-size: 110%;
}
div.content p {
	font-size: 110%;
}
div.content table {
	font-size: 100%;
}
div.content table th {
	text-align: left;
}

tr.shaded {
  background: #ccffff;
}
div.content table td {
	vertical-align: top;
	padding: 3px;
}

.redborder { 
	border: 2pt solid red; 
	width: 98%;
	padding-left: 10px; 
	padding-right: 10px; 
	padding-top: 10px; 
	padding-bottom: 10px;
}