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

body#colored {
  background-color: #ffccff;       /* Easter: purple     */

}

input {
  font-family: monospace;
}

textarea {
  font-family: monospace;
}

pre {
  font-family: monospace;
}

a:link, a:visited {
  color: #aa00aa;
  text-decoration: none;
  font-weight: bold;
}

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

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

div#nav {
  width: 100%;
  height: 100%;
  padding: 0;
  margin: 0;
}

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