body
{
	padding:	0pt;
	margin:		0pt;
	font:		12pt serif;
}

div.frontmatter, div.mainmatter, div.backmatter
{
	padding:	0pt 20% 0pt 20%;
	margin:		0pt;
}

p.topnav
{
	padding:	1ex 20% 1ex 20%;
	margin:		0pt;
	background:	#FFFF80;
	font:		bold 12pt sans-serif;
}

div p
{
	text-align:	justify;
}

div.frontmatter, div.backmatter,
div.NOTES, div.REFS
{
	font:		10pt serif;
}

h3.NOTES, h3.REFS, h3.CONTENTS, h3.DETAILS
{
	font:		bold 10pt sans-serif;
}

p.theend
{
	font:		bold 12pt sans-serif;
}

div.titlepage, div.CONTENTS
{
	font:		12pt serif;
}

h1, h2.author, p.email, p.theend
{
	text-align:	center;
}

h1
{
	font:		bold 18pt serif;
}

h2.author
{
	font:		bold 14pt serif;
	margin-bottom:	0pt;
}

p.email
{
	margin-top:	0pt;
	font:		10pt serif;
}

code
{
	font-size:	90%;
}

big
{
	font-size:	120%;
	font-weight:	bold;
}