html, body {
	height: 100%;
	margin: 0;
}

#h1_withpadding {
	font-size: 26px;
	margin: 0px;
	padding: 25px 0px 0px 25px;
	list-style-type: none;
}

h1 {
	margin-top: 50px;
}

h1.notopmargin {
	margin-top: 0;
}

#shorter_hr {
	width: 75%;
}