@font-face {
    font-family: "DejaVu";
    src: url("DejaVuSansMono.ttf");
}

body {
	background-color: #131926
}

#console {
	font-family: 'DejaVU', courier, monospace;
	color: #b6b5b4;
	width: 750px;
	margin-left: auto;
	margin-right: auto;
    margin-top: 70px;
    margin-bottom: 70px;
	font-size: 17px;
}

a {
	color: #0bc;
	text-decoration: none;
}

#visitor {
	color: #0f0;
}

#path {
	color: #0bc;
}