h1, h2, h3 {
	margin-bottom: 2px;
}
.tight {
	margin-top: 0px;
}
div {
	margin-top: 0px;
	margin-left: 4ex;
}
.code {
	background-color: #dfdfdf;
	font-weight: bold;
}
pre {
	margin-bottom: 0px;
}