body { font-family: Georgia, Southern, Times, "Times New Roman", serif;
       margin-left: 15%; margin-right: 15% }
h1, h2, h3 { margin-bottom: 2ex }
.nav {
	font-family: "MS Sans Serif", Arial, Helvetica, sans-serif;
	font-size: 70%;
}
.navbar {
	float: right;
	font-family: "MS Sans Serif", Arial, Helvetica, sans-serif;
	font-size: 70%;
}
.section { color: white; background: black }