BODY
{
	/* font-family: sans-serif; */
}

TT
{
	font-family: monospace;
	font-size: 12pt;
}


P
{
	/* start out normal */
	font-family: serif;
	font-size: 12pt;
	font-style: normal;
	/* paragraphs have an initial indent */
	text-indent:2em;
	text-align:justify
}

P.NEGATIVE
{
	text-indent:-2em;
	margin-left: 2em;
}

/* headers -- we only have 4 levels */
H1
{
}

H2
{
}

H3
{
}

H4
{
	font-style: italic;
}

/* Lists */
/* Lists have a space before, and a space after */
/* List elements have a space between */
/* Adjacent margins should collapse, so the space after
   a list element and after a list should cause only one
   line of space, not two. */

OL
{
	margin-bottom: 1em;
	margin-top: 1em;
}

UL
{
	margin-bottom: 1em;
	margin-top: 1em;
}

OL LI
{
	list-style: decimal;
	margin-bottom: 1em;
	margin-top: 1em;
}

OL OL LI
{
	list-style: lower-alpha;
	margin-bottom: 1em;
	margin-top: 1em;
}

/* compact list elements do not have space between the elements */
LI.compact
{
	margin-bottom: 0em;
	margin-top: 0em;
}

DIV.CODE
{
	display: block;
	margin-top: 1em;
	font-family: serif;
	white-space: pre;
	margin-bottom: 1em;
	margin-left: 5em;
}

DIV.FIGURE
{
}

PRE
{
	display: block;
	margin-top: 1em;
	white-space: pre;
	margin-bottom: 1em;
	margin-left: 5em;
}

TABLE
{
	margin-bottom: 1em;
	margin-top: 1em;
}