body {
	background-color: black;
	color: gray;
}

a {
	color: #8888bb;
}

.banner {
	margin-bottom: 3em;
}

.menu a {  /* important, otherwise the default black from site.css gets used */
	color: gray;
}

.menubar {
	border-top: 1px solid gray;
}

.menuframe {
	border-color: 1px solid #333333;
	background-color: rgba(0, 0, 0, .8);
	color: gray;
}

.menuitem:hover {
	background-color: rgba(255, 255, 255, .1);
}

.footer {
	margin-top: 3em;
	font-size: 85%;
}

.footer hr {
	background-color: transparent;
	color: transparent;
}

.disabled {
	color: #333333;
	border: 1px solid #333333;
}

.button {
	background-color: #222222;
	border: 1px solid gray;
}

.button:hover {
	background-color: #aaaaaa;
}

.button a {
	text-decoration: none;
	color: gray;
}