/* =================== */
/* = General Styling = */
/* =================== */

body {
	background-image: url("../img/background.png");
	background-repeat: no-repeat;
	background-position: 20px 10px;
	font-family: Courier, monospace;
	font-size: 13px;
}

div#wrap {
	width: 900px;
}


/* ======== */
/* = Head = */
/* ======== */

div#head {
	margin-left: 100px;
	margin-top: 50px;
}

div#head h1 {
	display: none;
}


/* =========== */
/* = Content = */
/* =========== */

div#content {
	float:left;
	margin-left: 90px;
	margin-top: -10px;
	background-image: url("../img/content.png");
	background-repeat: no-repeat;
	width: 350px;
	min-height: 450px;
	padding: 37px 57px 57px 57px;
}

div#content h2 {
	font-weight: normal;
	margin-top: 12pt;
	color: #08a800;
}

div#content h2:before {
	content: "gast@maschinenraum:~$ ";
	color: #787878
}

div#content table {
	border-collapse: separate;
	border-spacing: 1em 0;
	margin-left: -1em; /*because of border-spacing*/
}

div#content a {
	text-decoration: underline;
	color: black;
}

div#content a:hover {
	color: #787878;
}


/* ======================== */
/* = Links (on the right) = */
/* ======================== */

div#links {
	width: 220px;
	margin-top: 10px;
	margin-left: 20px;
	float:left;
}

div#links a {
	display: block;
}


/* ========== */
/* = Footer = */
/* ========== */

div#foot {
	clear: both;
	margin-top: 2em;
	padding: 1.5em;
	border-top: 1px dotted #cacaca;
	font-size: 0.92em; /*12px/13px = 0.92*/
	color: #cacaca;
	text-align: center;
}

div#foot a {
	text-decoration: none;
	color: #cacaca;
}

div#foot a:hover {
	color: black;
}