html, body {
	background-color: white;
	color: black;
 	font-family: "Gill Sans", Helvetica, sans-serif;
 	font-size: 12pt;
}


#header {
  position: fixed;
  color: red;
  text-align: left;
  font-size: x-large;
  font-weight: bold;
  margin-left: 85%;
}

#content {
  margin-left: 2em;
  margin-right: 15%;
  margin-top: 6ex;
  margin-bottom: 2ex
}

#footer {
  color: silver;
  text-align: left;
  font-size: small;
  margin-top: 8ex;
  margin-left: 2em;
}

pre, kbd {
	font-family: Courier, monospace;
	font-size: medium;
}

p.validate {
	font-size: xx-small;
	font-weight: normal;
	color: silver;
	text-align: right;
}

.footnote {
	font-size: x-small;
}

a:link {color: black; text-decoration: underline;}
a:visited {color: black; text-decoration: underline;}
a:hover {color: black; background:	rgb(192,192,144); text-decoration: none;}

h1 {
	background-color: rgb(100,100,100);
	color: white;
	font-size: x-large;
	font-weight: bold;
	font-variant: small-caps;
}

h2, h3 {
  font-weight: bold;
  font-variant: small-caps;
}

h2 {
  font-size: large;
}

th {
  font-weight: bold;
}

p.quicklinks { /* for use in #header */
	color: silver; 
	font-size: xx-small; 
	font-weight: normal; 
	margin-top: 140px;
}

p.marginhead {
	white-space: pre;
}

