/* Whole page structure */

body {
	background-color: #ffffff;
	margin-left: 25pt;
	margin-right: 10pt;
	font-family: sans-serif
}

. {
/*	font-family: "Times New Roman", Times;*/
}

h1 {
	font-family: sans-serif; 
	margin-left: -15pt
}

h2 {
	font-family: sans-serif; 
	margin-left: -15pt;
}

h3 {
	font-family: sans-serif; 
	margin-left: 0pt;
}

HR { 
	margin-left: -15pt;
	margin-right: 0pt;
}

/* h4,h5, h6 not defined */

A {
	text-decoration: none; 
	font-weight: bold;
	color: #C00000;
}

A:visited {
	color: #900000;
}

A:hover, A:active {
	text-decoration: underline;
}



/* Repeat formatting for common containers, since the cascading aspect of CSS
 * doesn't really work.
 */
P {
/*	font-family: "Times New Roman", Times; */
	margin-left: 0pt;
	text-align: justify;
}

P.footnote {
/*	font-family: "Times New Roman", Times; */
	margin-left: -15pt;
	margin-top: 0pt;
}

P.header {
	margin-left: -15pt;
	margin-right: 0pt;
	margin-bottom: 0pt;
}

P.samplecode {
	font-family: "Courier", "fixed";
	font-size: large;
	margin-left: 25pt;


}

td {
/*	font-family: "Times New Roman", Times; */
	font-size: 14pt;
}

UL {
	font-family: "Times New Roman", Times;
	margin-left: 10pt;
}

td.code {
	background-color: #E0E0E0;
	font-family: "Courier", "fixed";
}

table.border {
  border: solid 1px green;
  border-collapse: collapse;
}

table.border td, table.border th {
  padding: 5px;
  border: solid 1px black;
  font-size: 100%;
}