.green {
	background-color: #80FF80;
}
.red {
	background-color: #FF8080;
}

#diglim {
	font-family: Consolas, Lucida Console, monospace;
	width: 3em;
}