body {
	font-family: sans-serif;
	background-color: black;
	color: #E0E0E0;
}

table {
	width: 100%;
}

pre {
	margin-left: 2.5em;
}

button.wide {
	width: 100%;
}

input, textarea {
	background-color: #202020;
	color: #00F000;
	border: 1px solid #00F000;
}

textarea {
	width: 100%;
}

input[type=text] {
	font-family: monospace;
}

#key {
	font-size: 14pt;
}

#statusbar {
	color: #00F000;
}