body {
  background: white;
  color: black;
  font-style: normal;
}

a:link {
  color: blue;
}
a:visited {
  color: purple;
}

thead {
	background-color: #CCFFFF;
}

code, pre.code {
  background-color: #E0E0E0;
}

dfn {
	//font-style: italic;
	font-style: normal;
	font-weight: bold;
}

span.bug {
  color: red;
}

.symbol, a.symbol:link, a.symbol:visited, a.symbol:hover {
	font-style: italic;
	color: blue;
	text-decoration: none;
}

.literal {
	font-family: monospace;
	color: green;
	background-color: white;
	text-decoration: underline;
}

/*
.syntax {
  color: green;
}
a.syntax:link {
  color: green;
  text-decoration: none;
}
a.syntax:visited {
  color: green;
  text-decoration: none;
}
a.syntax:hover {
  color: green;
  text-decoration: underline;
}
*/

h1 {
  background-color: #CCFFCC;
  border-width: thin thin thin thin;
  border-color: #00FF00;
  border-style: solid;
}

h2 {
  background-color: #CCFFCC;
  border-width: thin thin 0 0;
  border-color: #00FF00;
  border-style: solid;
}

h3 {
  background-color: #CCFFCC;
	border-width: thin thin 0 0;
	border-color: lime;
	border-style: solid;
	width: 30%;
}