body {
	margin: 0 5%;
	padding: 0;
	font-family: serif;
	font-size: 14pt }
#header {
	display: none }
#left_column {
	display: none }
#right_column {
	display: none }
h1 {
	font-size: 18pt;
	margin-bottom: -.5em }
h2 {
	font-size: 16pt;
	margin-bottom: -.5em }
img {
	margin: .25em 0 }
h1+img, h2+img {
	margin-top: 1em }
blockquote {
	margin-top: 2em }
blockquote p {
	margin-bottom: .5em }
p.citation {
	line-height: 1.2em;
	margin-left: 3em }
.numerator {
	font-size: 75%;
	position: relative;
	margin-left: .1em;
	top: -.4em }
.denominator {
	font-size: 75%;
	position: relative;
	top: .3em;
	left: -.1em }