@font-face {
	font-family: IBMWeb;
	src: url("/static/ibm9x16.woff");
}

body {
	font-family: IBMWeb, Liberation Mono, monospace;
	background-color: #000000;
	color: #aaaaaa;
	font-size: 16px;
	width: min(80vw, 800px);
	margin: auto;
}

pre {
	font-family: IBMWeb, Liberation Mono, monospace;
	border: 4px solid #aaaaaa;
	border-width: 0px 0px 0px 4px;
	padding-left: 8px;
}

#banner > pre {
	border: none;
	padding: 0;
}

b {
	color: #ffffff;
}

i {
	color: #000000;
	background-color: #ff5555;
}

a {
	text-decoration: none;
	color: #55ffff;
}

a:hover {
	color: #000000;
	background-color: #55ffff;
}

hr {
	border: 2px dashed #aaaaaa;
}

#banner {
	color: #aaaaaa;
}

#banner:hover {
	color: #ffffff;
}