body {
	background-color: rgb(0,0,0);
	color: rgb(225,225,225);
	font-size: 0.85em;
	font-family: "DejaVu Sans Mono", courier, "Times New Roman", serif, sans-serif;
	line-height: 1.2;
	margin: 3em 10%;
}
h1, h2, h3 {
	font-size: 100%
}
h1 {
	color: rgb(255,0,0)
}
h1:before {
	content: "# "
}
h2 {
	color: rgb(0,255,0)
}
h2:before { 
	content: "## "
}
h3 {
	color: rgb(255,0,255)
}
h3:before {
	content: "### "
}
pre {
	color: rgb(255,255,175);
}
blockquote {
	font-style: italic;
	color: rgb(175,175,175);
	margin-left: 0%
}
a {
	color: rgb(0,135,255);
	text-decoration: none
}
a:hover {
	background-color: rgb(0,135,255);
	color: rgb(0,0,0)
}
a:before {
	content: "=> "
}
.buttons a:before {
	content: ""
}