p.bar0, p.bar1 {
	margin-top: 0;
	margin-bottom: 0;
	font-size: 75%;
}

p.bar1 {
	background-color: #333;
}

p.menu {
	margin-top: 0;
	margin-bottom: 0;
	padding-top: 0;
	padding-bottom: 0;
}

h1 {
	margin-bottom: 0;
}

