body {
	font-family: sans-serif;
	font-size: 13px;
}

table.users {
	width: 410px;
	font-size: 13px;
	border: 1px solid black;
}

tr.flip {
	background-color: #C0C0FF;
}

tr.flop {
	background-color: #C0FFC0;
}

table.warning {
	width: 400px;
	font-size: 13px;
	border: 1px solid black;
}

tr.flipwarning {
	background-color: #FF8080;
}

tr.flopwarning {
	background-color: #FFC0C0;
}

a {
	text-decoration: none;
	color: blue;
}

table {
	font-size: 13px;
}