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

body {
	font-family: Courier, monospace;
	font-size: 13px;
}


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

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

div#head h1 {
	display: none;
}


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

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;
}


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

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

div#links a {
	display: block;
}


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

div#foot {
	margin-top: 2em;
	font-size: 0.92em; /*12px/13px = 0.92*/
	color: #cacaca;
}

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