/*  this style sheet goes with medium.htm  */

body {
	margin: 0;
	background-color: #666666;
	font-family: verdana, geneva, arial, sans-serif;
	color: #FFFFFF;
	}

.page-heading {
	background-color: #000000;  /* background is black */
	}

.page-heading h1 {         /*  affects ONLY the h1 elements in THIS class  */
	margin: 10px 5px 0 5px;
	padding: 0;
	text-align: center;
	}

.nav {
	background-color: #0000CC;  /* background is blue */
	font-size: 12px;
	font-weight: bold;
	padding: 5px 15px;
	vertical-align: top;
	}

.maintext {
	background-color: #FFFFFF;  /* background is white */
	color: #000000;
	font-size: 11px;
	padding: 20px 40px;
	border: 12px double #000066;
	}

.footer  {
	background-color: #CC0000;  /* background is red */
	font-size: 9px;
	padding: 5px 40px;
	border-left: 12px solid #CC0000;
	border-right: 12px solid #CC0000;
	}

a {
	color: #CCCCCC; 
	text-decoration: underline;
	background-color: transparent;
	}

a:hover {
	color: #FFFFFF; 
	text-decoration: none; 
	background-color: #000066;
	}


img {border: 0;padding: 0;margin: 0;}

.page-footer {
  clear: both;
  font-size: 0.8em; /* copyright in small print! */
  text-align: center;
  margin: 10px;
}

/* THIS IS THE PANEL THAT HOLDS THE MAIN TEXT ON MOST PAGES.
   THE WIDTH IS 758 PIXELS, WITH NO MARGINS OR PADDING,
   BUT 1 PIXEL OF BORDER ON EACH SIZE FOR A TOTAL OF 760 PIXELS,
   WHICH IS IDEAL FOR 800x600 RESOLUTION.
   */
#panel {
  width: 700px;
  margin: 10px auto 10px auto;
  padding: 0px 0px 0px 20px;
  border: 0;
  overflow: auto;
} /* Total width should add up to 760px */
.references h2 { 
  margin: 20px 0px 20px 0px;
}
.references p { 
  margin: 20px 0px 20px 0px;
}
pre.contact {
  border: 1px solid black;
  padding: 4px;
  color: black;
  background: #f0f0f0;
}
pre.screen {
  padding: 4px;
  background: #f0f0f0;
}
tt.filename {
  color: #8b1a1a;
/*   color: #793623; */
  white-space: nowrap;
}
tt.option {
  color: #793623;
  white-space: nowrap;
}