#topmenu {
	color: rgb(238, 238, 238); background-color: rgb(0, 51, 102);
}
.separator {
	color: rgb(238, 238, 238); background-color: rgb(0, 51, 102);
}
#topmenu a:hover {
	color: rgb(238, 238, 238); background-color: rgb(0, 51, 102);
}
#user_out {
	color: rgb(238, 238, 238); background-color: rgb(0, 51, 102);
}
.button {
	color: rgb(238, 238, 238);
}
.button:hover {
	color: rgb(238, 238, 238); background-color: rgb(0, 51, 153);
}
.componentheading {
	background-color: rgb(0, 51, 102);
}
.componentheading a {
	background-color: rgb(0, 51, 102);
}
a {
	color: rgb(0, 51, 102);
}
a.latestnews {
	color: rgb(238, 238, 238);
}
a.mostread {
	color: rgb(238, 238, 238);
}