body {
  font-family: Helvetica, Arial, sans-serif;
  color: #000066;	/* dark blue */
  /*color: #440044;*/	/* dark purple */
  /*color: #004400;*/	/* dark green */
}

body#colored {
  background-color: #ffffdd;	  /* Normal time: light yellow  */
  /* background-color: #ffee99;   */       /* Autumn: gold       */
  /* background-color: #ffaaaa;   */       /* Christmas: red     */
  /* background-color: #ffccff;   */       /* Easter: purple     */

}

input {
  font-family: monospace;
}

textarea {
  font-family: monospace;
}

pre {
  font-family: monospace;
}

a:link, a:visited {
  color: #0000aa;	/* blue */
  /* color: #aa00aa; */	/* purple */
  /* color: #006600; */	/* green */
  text-decoration: none;
  font-weight: bold;
}

a:hover {
  text-decoration: underline;
  color: #ff0000;
}

#nav a:hover {
  text-decoration: underline;
  color: #ff0000;
}

div#nav {
/*
  font-size:10pt;
  line-height:11pt;
*/
  width: 100%;
  height: 100%;
  padding: 0;
  margin: 0;
}

.missionHeading {
  font-size: 24pt;
  font-weight: bold;
  font-style: italic;
  line-height: 36pt;
  text-align: left;
}