/* This is not for IE6 */
/* Defaults for everything */

body {
  background-color: #CCCCCC; /* outside the panel */
  color: black;
  font-size: 15px;
  font-family: sans-serif;
  margin: 0;
}

h1 {
  color: white;
  background: #A00000;
  text-align: left;
  padding: 5px 5px 0px 5px;
  margin: 0; /* Seem to need this */
  border-bottom: 5px solid black;
}
h1 img {border: 0;padding: 0;margin: 0;}
h1 a:link, h1 a:visited {
  color: white;
  background: #000;
  text-decoration:none;
}

h2 {
  margin: 20px 0px 20px 0px;
  font-size: 1.2em;
  font-weight: bold;
}

/* 
   FOR LINKS IN GENERAL
   */
a:link {
  color: black;
  background: white;
}
a:visited {
  color: black;
  background: white;
}
a:hover {
  color: #7474d7;
  background: white;
}

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

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

#externnav {
  text-align: center;
  color: white;
  margin: 20px auto 0px auto;
  padding: auto;
  width: 758px;
  /*   width: 140px; */
  background: #000;
  border: 1px solid #330099;
} /* Total width should add up to 760px */
#externnav ul {
  list-style: none;
  list-style-type: none;
  padding: 0;
  margin: 0;
}
#externnav ul li {
  padding: 25px;
  display: inline;
}
#externnav ul li a {
  font: 14px "Lucida Grande", "Lucida Sans Unicode", verdana, lucida, sans-serif;
  text-decoration: none;
  color: white;
  background: #000;
}
#externnav ul li a:hover {
  color: #7474d7;
  background: #000;
}

#frame {
  width: 758px;
  margin: 0px auto 20px auto;
  padding: 0px 0px 20px 0px;
  border: 1px solid #001F3E;
  background-color: #ffffff; 
  overflow: auto;
  border: 1px solid black;
}
#navcontainer {
  color: white;
  float: left;
  padding-left: 10px;
  width: 140px;
  background: #000;
  border-bottom: 5px solid #330099;
  overflow: auto;
} /* Total width should add up to 760px */
#navcontainer ul {
  list-style-type: square;
  text-align: left;
  margin-top: 10px;
  padding-left: 30px;
}
#navcontainer ul li {
  padding-left: 0px;
}
#navcontainer ul li a {
  padding-left: 0px;
  text-align: left;
  font: 14px "Lucida Grande", "Lucida Sans Unicode", verdana, lucida, sans-serif;
  text-decoration: none;
  color: white;
  background: #000;
}
#navcontainer ul li a:hover {
  color: #7474d7;
  background: #000;
}

/* 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: 558px;
  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;
}