BODY {
	font-family: Arial, Helvetica, sans-serif;
    max-width: 1200px;
    margin-left: auto;
    margin-right: auto;
}
a {
    color: #2a2;
}
a:visited {
    color: #151;
}
a:hover {
    color: #3c3;
}
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;
}
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;
}
.linkblock {
    margin-left: 2em;
    font-weight: bold;
    position: relative;
    top: -1em;
}