body {
	font-family: times new roman;
  background-color: #FFFFC0 ;
}

a {
	text-decoration : none;
  color: blue;
}

a.name {
  color: #000000;
}

div.code {
  font-family: courier new;
  font-size: 11;
  border: thin solid black;
}

span.blue {
  color: #0000FF;
}

span.comment {
  color: #005500;
}