body {
	margin: 40;
	color: black;
	background: goldenrod
}

table.pantarheon {
	background: #F9F3E4;
	color: #0C0C0C;
	padding: 0
}

h1 {
	font-weight: bold;
	font-size: 180%;
	font-family: sans-serif;
	margin-left: 1em;
	margin-right: 2em
}

h2 {
	font-weight: bold;
	font-size: 160%;
	font-family: sans-serif;
	margin-left: 2em;
	margin-right: 2em
}

h3 {
	font-weight: bold;
	font-size: 120%;
	font-family: sans-serif;
	margin-left: 3em;
	margin-right: 2em
}

h4 {
	font-weight: bold;
	font-size: 105%;
	font-family: sans-serif;
	margin-left: 4em;
	margin-right: 2em
}

h5 {
	font-weight: bold;
	font size: 100%;
	font-family: sans-serif;
	margin-left: 6em;
	margin-right: 2em
}

p, li {
	line-height: 120%;
	font-size: 100%;
	font-family: georgia, serif;
}

li {
	margin-left: 4em;
	margin-right: 4em;
	margin-top: 1em;
	margin-bottom: 1em
}

p {
	text-indent: 2em;
	margin: 0;
	margin-left: 2em;
	margin-right:2em
}

p.first {
	text-indent: 0;
	margin-top: 1em
}

p.notice {
	margin-top: 4em;
	text-indent: 0;
	font-size: 80%;
	line-height: 120%;
	font-family: georgia, serif
}

p.byline {
	margin-top: 0;
	text-indent: 0;
	font-size: 80%;
	line-height: 95%;
	font-family: georgia, serif
}

p.panta {
	margin-top: 0;
	margin-bottom: 4em;
	text-align: right;
	margin-right: 8em;
	font-size: 80%;
	line-height: 120%;
	font-family: georgia, serif
}

p.date {
	margin-top: 2em;
	font-size: 80%;
	line-height: 120%;
	font-family: georgia, serif;
	font-weight: bold;
	text-align: right;
	margin-right: 4em;
	color: #7C7C7C
}

p.formula {
	margin-top: 2em;
	margin-bottom: 2em;
	text-align: center;
	font-weight: bold;
	font-size: 150%;
	line-height: 200%
}

p.image {
	margin-top: 2em;
	margin-bottom: 2em;
	text-align: center
}

p.topimage {
	margin-top: 2em;
	margin-bottom: 0;
	text-align: center
}

p.centerimage {
	margin-top: 0;
	margin-bottom: 0;
	text-align: center
}

p.bottomimage {
	margin-top: 0;
	margin-bottom: 2em;
	text-align: center
}

p.menu {
	margin-top: 1em;
	text-indent: 0;
	font-family: sans-serif
}

p.emph {
	text-indent: 0;
	font-family: georgia, serif;
	font-size: 160%;
	font-weight: bold;
	line-height: 130%;
	margin-top: 18;
	margin-bottom: 18;
	margin-left: 3em;
	margin-right: 3em;
	background: yellow
}

pre {
	line-height: 120%;
	font-size: 110%;
	margin-left: 4em
}

a.tos {
	color: black;
	text-decoration: none
}

div.tos {
	display: none;
	text-decoration: none
}