/* 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 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;
}
dl, dl.toc {
	font-family: "Comic Sans MS", Verdana, Arial, Helvetica, sans-serif;
	font-size: 120%;
	font-weight: normal;
	margin-left: 20px;
}
dl dt {
	margin-top: 1em;
	margin-bottom: 1em;
	font-weight: bold;
}
small {
	color: red;
	font-size: 80%;
	font-weight: normal;
}
pre {
	color: green;
	font-weight: bold;
}
code {
	color: green;
	font-weight: bold;
}
.sig {
	font-size: larger;
	font-weight: bold;
	font-style: italic;
}