a.extlink {
	font-family: serif ;
	font-style: italic;
}
a.intlink {
	font-family: serif ;
	font-weight: bold;
}
td.robot {
	background: #a8c8c8 ;
	color: #000000;
}
td.null {
	background: #b8b8b8 ;
	color: #000000;
}
td.form {
	background: #c8c880 ;
	color: #000000;
}
td.noinfo {
	background: #80c0ff ;
	font-weight: bold ;
	color: #000000;
}
.vary {
	background: #e0b0e0 ;
	color: #000000;
}
td.redirect {
	background: #ffd080 ;
	font-weight: bold ;
	color: #000000;
}
td.unchanged {
	background: #c0c0c0 ;
	font-weight: bold ;
	color: #000000;
}
td.changed {
	background: #80ff80 ;
	font-weight: bold ;
	color: #000000;
}
td.error {
	background: #ff8080 ;
	color: #000000;
	font-weight: bold ;
}
div.buttons {
	background: gray ;
	color: gray ;
	text-align: center ;
	margin-top: 10px;
}
a.button {
	background: gray ;
	color: gray ;
}
td.n	{
	text-align: center;
}