body {
	margin: 0;
	font-family: 'Droid Serif', 'Georgia', 'DejaVu Serif', serif;
	font-size: 13pt;
	color: #1e2329
}
div#page {
	width: 720px;
	margin: 20px auto;
}


img#github_corner {
	position: fixed;
	border: 0 none;
	margin: 0;
	top: 0;
	right: 0;
}


header#title {
	font-size: 64pt;
	margin: 25px 0;
}
img#duck {
	float: right;
}

footer {
	margin-top: 30px;
	text-align: right;
	font-size: small;
	color: #7e8389;
}


a {
	color: #5555ff;
	text-decoration: underline;
}
a:hover {
	color: #bb0000;
}

hr {
	margin: 40px auto;
	width: 80%;
	height: 5px;
	background-color: #aaaaaa;
}

h1 {
	font-size: 23pt;
	font-weight: normal;
	text-align: left;
	margin-top: 30px;
}
h2 {
	font-size: 17pt;
	text-align: left;
}

ul {
	list-style: circle;
}

code {
	display: inline;
	background: none repeat scroll 0 0 #eeeeee;
	font-family: monospace;
	font-size: 0.9em;
	margin: 4px 0;
	padding-left: 2px;
	padding-right: 2px;
}
code > span.gray {
	color: #8e9399;
}
div#page > code {
	display: block;
	white-space: pre-line;
	font-size: 12pt;
	padding: 10px 15px;
	line-height: 1.2em;
	margin: 10px -20px;
	padding-left: 30px;
}
div#page > code span.indent {
	padding-left: 2em;
}