@font-face {
	font-family: "CMU Concrete";
	src:
		url("../fonts/cmunorm_stripped.woff");
}
html {
	background-color:#fafafa
}
div#links {
	position: absolute;
	top: 10px;
	right: 10px;
}
body {
	font-family: "CMU Concrete";
	color:#555;
	font-size:16px;
	margin:2em auto;
	max-width:800px;
	padding:1em;
	line-height:1.4;
	text-align:justify;
	overflow-x: hidden;
}
h1 {
	text-align: left;
}
p {
	margin-left: 20px;
}
a {
	color:#07a
}
a:visited {
	color:#941352
}
small {
	font-size:.4em
}
@media screen and (max-width:480px) {
	body {
		text-align:left
	}
}
pre {
	background-color: #002B36;
}
.tags {
	padding-left: 2.5em;
}
.hrdoubled {
	border: 0 none;
	border-top: 5px double #322f32
}
.hrdashed {
	border: 0 none;
	border-top: 2px dashed #322f32;
	margin-top: -1em;
}