/* 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: 130%;
}
div.content hr {
	width: 100%;	
}

div.content h1 {
	text-align: left;
	font-size: 110%;
}

div.left {
  float: left;
  width: 150px;
  height: 500px;
  margin-right: 15px;
}

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;
}
.right {
	text-align: right;
}