BODY {
	background: #DFF0FF;
	margin-left: 10px;
	margin-top: 20px
}

A:link    { color: black }
A:active  { color: blue;  }
A:visited { color: black; }

.syntax {
	background-color: lightgray;
}
.nonterm {
	color: black;
	font-family: serif;
	font-style: italic;
}
.term {
	color: blue;
	font-family: monospace;
	font-size: 12pt;
	font-weight: bold
}
.termsym {
	color: blue;
	font-family: monospace;
	font-size: 14pt;
	font-weight: bold
}
.token {
	color: darkgreen;
	font-family: serif;
	font-size: 12pt;
	font-weight: bold;
	font-style: italic;
}