body {
	background: #e0e0f0;
}
body hr {
	clear: left;
}
div.title {
	font-size: large;
}
ul.menu {
	float: left;
	padding: 0 0 0 0;
}
ul.menu li {
	float: left;
	list-style: none;
	padding: 0 1em 0 1em;
}
div.menu a {
	text-decoration: none;
}
a:link, a:visited {
	color: blue;
}
div.body {
}
ul.menu li.active a {
	color: black !important;
}
div.cmd {
	display: inline;
	background: #f0f0f0;
	border: 1px dotted black;
	font-size: smaller;
}
div.command {
	display: block;
	padding: 0.2em;
	background: #d0d0e0;
	font-weight: bolder;
	font-family: monospace;
	margin: 1em 2em 1em 2em;
	border: 1px dotted gray;
}
table {
	padding: 0.1em;
	border: 2px inset;
	margin: 2em;
	border-collapse: collapse;
}
td {
	border: 1px dotted;
}

table.sources td {
	width: 33%;
	text-align: center;
}
tr.even {
	background: #e8e8f8;
}
div.donate {
	padding: 2px;
	font-size: small;
	background: #f0f0ff;
	margin: 1em;
	border: 1px dotted blue;
}
div.status {
	visibility: hidden;
}