/* CSS Design */

/* Globale Einstellungen */
* {
	border: 0;
	font-family: "vt220";
	font-size: 15pt;
	line-height: 1em;
	margin: 0;
	padding: 0;
}

/* VT220 Schriftart - IE */
@font-face {
	font-family:"vt220";
	src: url(/fonts/vt220.eot);
}

/* VT220 Schriftart - Non-IE */
@font-face {
	font-family:"vt220";
	src: url(/fonts/vt220.ttf) format("truetype");
}

/* Grundeinstellungen */
body {
	background-color: #000000;
	color: #FF9933;
	min-width: 850px;
}

/* Links */
a:active, a:focus, a:hover, a:link, a:visited {
	background-color: #000000;
	color: #FF9933;
	text-decoration: none;
}

/* Website zentrieren */
div#container {
	margin: 1% auto;
	width: 85%;
}

/* Header */
div#header {
	margin-bottom: 25px;
}

/* ASCII-Text anzeigen */
div#header pre {
	white-space: pre;
}

/* ASCII-Text zentrieren */
div#headertext {
	margin: 10px auto;
	width: 658px;
}

/* DOS-Konsole zentrieren */
div#content {
	margin: 1% auto;
	width: 741px;
}

/* DOS-Konsole */
div#content textarea {
	background-color: #151515;
	background-position: right 10px;
	background-repeat: no-repeat;
	border: 1px dotted #FF9933;
	color: #FF9933;
	padding: 10px;
	overflow-y: auto;
}

/* Footer */
div#footer {
	margin-top: 25px;
	padding: 10px;
	padding-bottom: 20px;
	text-align: center;
}

/* ASCII-Text anzeigen */
div#footer pre {
	white-space: pre;
}