body {
	margin: 1.5em 0 100px 3em;
	font-size: 16px;
}

div {
    margin-left: 10px;
}

a, a:visited {
	text-decoration: none;
	color: blue;
}

ul {
	list-style-type: none;
}

.title {
	padding: 1em 0 0 0;
	font-size: 1.5em;
	font-weight: bold;
}

.nav {
	padding: .5em 0 0 0;
}

.nav a {
	margin: 0 .5em 0 0;
}

.copy {
	font-family: "Helvetica";
	max-width: 20em;
	padding: 1em 0 0 0;
}

.post {
	font-family: "Helvetica";
	max-width: 60em;
	padding: 1em 0 0 0;
	margin-right: 15px;
}

.post pre {
	overflow: auto;
	border: 1px dashed #ccc;
	padding: 3px;
	margin-right: 15px;
	font-size: 75%;
}

.post blockquote {
	font-size: 75%;
}

.project {
	padding: 5px;
}

.project-title {
	color: blue;
}

.project a {
	color: black;
}
.project a:hover {
	color: blue;
}

.project-title {
	font-weight: bold;
}