.blue {
	background-color: #ffffdd;
	color: #444444;
}
.greyborder {
	border: thin solid gray;
}
.highlight {
	background-color: #DDDDDD;
}