@import 'generic.css';

a {
	color: #87CC00;
	border-bottom: 1px dotted #87CC00;
}

a:visited {
	color: #97CC50;
}

#header, #main, #footer {
	border: 1px solid #87CC00;
}
#header #menu {
	background-color: #87CC00;
	border-top: 1px solid #87CC00;
	border-bottom: 1px solid #87CC00;
}

pre.code {
	border: 1px solid #87CC00;
}