body {
	margin-left: 10%;
}
.hashlink {
	font-size: medium;
}