a:link, a:visited {
	color: #246FCC;
}

a:hover {
	color: #0D4284;
}

.invisible {
	visibility:hidden;
}

.nodisplay {
	display:none;
}

.code {
  font-family: Courier, Courier New, monotype;
  color:#191970;
  padding:1em;
  margin:1em;
  white-space: pre;	
  width:590px;
  overflow:auto;
  background:#dfdfdf;
}