BODY {
	font-family: Arial, Helvetica, sans-serif;
    max-width: 1280px;
    margin-left: auto;
    margin-right: auto;
}
pre {
	background-color: #f2f2f2;
	margin-left: 2em;
	margin-right: 2em;
	padding: 5px;
	border: 1px solid silver;
}
.preblock {
	background-color: #eee;
	margin-left: 2em;
	margin-right: 2em;
	padding: 5px;
	border: 1px solid silver;
}
.indent {
	margin-left: 3em;
}
table {
	margin-left: 2em;
}
dt {
	margin-left: 3em;
	margin-right: 2em;
	margin-bottom: 3px;
	padding: 4px;
}
dt.blue {
	background-color: #bbbbff;
}
dt.green {
	background-color: #bbffbb;
}
dt.red {
	background-color: #ffbbbb;
}
dt.grey {
	background-color: #bbbbbb;
}
dd {
	margin-left: 4em;
	margin-right: 2em;
}
.good {
	color: green;
}
.ok {
	color: olive;
}
.bad {
	color: red;
}
.unknown {
	color: gray;
}
.link {
	text-decoration: underline;
	font-size: 0.70em;
	cursor: pointer;
}
.mediumblock {
	font-size: 0.80em;
	margin-left: 2em;
	padding-top: 3px;
}
.smalltext {
	font-size: 0.70em;
}
.clickable {
	cursor: pointer;
}
.toptable tr td {
    vertical-align: top;
    margin-left: .2em;
    padding-left: .5em;
}