body {
	font-family: monospace;
	font-size: 13px;
	margin-left: 40px;
	margin-top: 20px;
	margin-bottom: 20px;
}

#logo {
	height: 263px;
	width: 263px;
	float: left;
	margin-right: 2em;
	margin-bottom: 1.5em;
	padding-left: 30px;
} 
.text {
	width: 47em;
	border-right: 1px dashed black;
	padding-right: 30px;
	border-left: 1px dashed black;
	padding-left: 30px;
}

.command {
	font-weight: bold;
}

.menu {
	padding-right:10px;
}

.separator {
	width: 100%;
	border-top: 1px dashed black;
}

a {
	color: #000000;
}

a:hover {
	text-decoration: none;
}

a:visited {
	color: #c9d9fe;
	outline: none;
}