html {
	font-family: palatino, garamond, serif;
	font-size: 150%;
}

body {
	margin: 0 auto;
	max-width: 27em;
	padding: 0.25em;
}

nav#main_navigation ul {
	border: 1px solid #eee;
	border-radius: 5px;
	margin: 0;
	padding: 0;
}

nav#main_navigation li {
	display: inline-block;
	height: 6em;
	list-style: none;
	margin: 0.25em;
	padding: 0;
	width: 6em;
}

nav#main_navigation a {
	display: inline-block;
	font-weight: bold;
	text-align: center;
	text-decoration: none;
	line-height: 6em;
	width: 6em;
}

nav#main_navigation .http a {
	color: #fff;
	background-color: #66d;
}

nav#main_navigation .julia a {
	color: #fff;
	background-color: #d66;
}

nav#main_navigation .gto a {
	color: #fff;
	background-color: #dd3;
}

nav#main_navigation .time a {
	color: #fff;
	background-color: #6d3;
}

nav#main_navigation .gates a {
	color: #fff;
	background-color: #d3d;
}

nav#main_navigation .mammon a {
	color: #fff;
	background-color: #0ee;
}

nav#main_navigation .strategy a {
	color: #fff;
	background-color: #3f9;
}

pre {
	font-size: 75%;
	overflow: scroll;
}