body {
	background: black;
	color: white;
	font-family: sans-serif;
}
h1 {
	text-align: center;
}
h2 {
	text-align: center;
	font-size: 1em;
}
h3 {
	text-align: left;
	color: yellow;
}

.large_logo {
	width: 13.5em;
	height: 6em;
}

.logo {
	width: 9em;
	height: 4em;
}

a {
	color: #ffc;
}
a:hover {
	color: yellow;
}

.fixedbug {
	text-decoration: line-through;
}

pre {
	font-size: small;
}

#play {
	font-size: 2em;
	text-align: center;
	margin: 1em;
}
#play a {
	color: yellow;
	font-style: normal;
}
#play #nocache {
	margin-top: 2em;
	font-size: x-small;
}

div.section {
	margin-top: 2em;
}

#back {
	position: absolute;
	font-size: 0.9em;
}

#footer {
	margin-top: 4em;
	font-size: 0.7em;
}

#footer hr {
	width: 40em;
	margin-left: 0;
	text-align: left;
	background-color: #333;
	border-color: #333;
}