A { color: #00F; text-decoration: none }
#A:visited { color: #00F; text-decoration: none }
A:hover { color: #F22; text-decoration: none; }
A#plain { 
	color: black; 
	text-decoration: none; 
	cursor: pointer;
}
td.title {
  background: #EE7;
  border: 1px solid black;
}
td.TOC {
  background: #DDD;
  border: 1px solid black;
  border-top: none;
}
td.code {
	border: 1px solid black;
	background: lightgrey;
}