div.machine
{
	display: block;
	position: absolute;
	width: 15px;
	height: 15px;
	text-align: center;
}
div.machine.washFL
{
	
}
div.machine.dry
{
	
}
div.machine.unavailable
{
	border: 1px solid #ff0000;
}

div.machine.available
{
	border: 1px solid #00ff00;
}
#machine_list td
{
	padding: 5px;
	font-weight: bold;
	font-size: 100%;
}
.machine_status.available
{
	color: green;
}
.machine_status.unavailable
{
	color: red;
}
.menu-vertical li, .menu-vertical dt
{
	margin-bottom: 0px;
}