body, th, td, label, input, fieldset, legend, textarea {
	font-family:sans-serif;
	font-size:small;
}

.checkbox {
	font-size: x-large;
	width: 1em;
	height: 1em;
}

a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a:link {
color: blac
}


td.text {
	font-family:monospace;
}

td.doublechecked {
	background-color: lime;
}

td.not_doublechecked {
	background-color: yellow;
}

td.not_doublechecked_and_editable {
	background-color: yellow;
	color: red;
}

td.right_aligned {
	text-align: right;
}

fieldset {
	clear:left;
	padding:0.2em;
}

#userinfo {
	float:right;
}

#userinfo label {
	display:block;
}

.comments {
	width:10em;
}

#hosttag {
	text-align: right;
	width: 100%;
	color: lightgrey;
}