<!DOCTYPE doctype PUBLIC "-//w3c//dtd html 4.0 transitional//en">
<STYLE TYPE="text/css">

<!-- The first CSS seems to be ignored by Firefox, so I added a dummy one.  -->
<!--

	SPAN.ignorethis
	{
	}

	H2
	{
		margin-top:		0.75em;
	}

	P.indent
	{
		margin-top:		10px;
		margin-bottom:		0;
		text-align:		justify;
		text-indent:		18px;
	}

	P.noindent
	{
		margin-top:		0;
		margin-bottom:		0;
		text-indent:		0;
		text-align:		left;
	}

	P.command
	{
		margin-top:		0;
		text-indent:		18px;
	}

	P.usage
	{
		margin-top:		0;
		margin-left:		3em;
		text-indent:		-2em;
	}

	P.topspace5, DD.topspace5, DT.topspace5, LI.topspace5
	{
		margin-top:		5px;
		margin-bottom:		0;
	}

	P.space_t2lr15
	{
		margin-top:		2px;
		margin-bottom:		0;
		margin-left:		15px;
		margin-right:		15px;
	}

	DT.command
	{
		color:			red;
		margin-bottom:		0;
	}
	
	DD.command
	{
		margin-top:		6px;
		margin-left:		1em;
	}

	DD.topspace0, DT.topspace0, LI.topspace0
	{
		margin-top:		0;
		margin-bottom:		0;
	}

	DD.topspace9, DT.topspace9, LI.topspace9
	{
		margin-top:		9px;
		margin-bottom:		0;
	}

	LI.topspace
	{
		padding-top:		3px;
	}
	
	TABLE.notopspace
	{
		margin-top:		0;
	}

	TD.top
	{
		font-size:		80%;
		width:			40px;
		vertical-align:		bottom;
	}

	TD.thinbox
	{
		border:			solid;
		border-width:		thin;
	}

	TD.code_example
	{
		background-color:	#fafafa;
		border:			solid;
		border-width:		thin;
		padding:		5px;
	}

	SPAN.comment
	{
		font-family:		Helvetica,sans-serif;
		font-style:		italic;
	}

	SPAN.fixed
	{
		font-family:		Courier, monospace;
		font-size:		90%;
	}

	SPAN.smallcaps
	{
		font-variant:		small-caps;
	}

	CAPTION
	{
		font-size:		75%;
	}

	PRE.smaller
	{
		font-size:		90%;
	}

	A.top
	{
		font-size:		 80%;
		text-decoration:	 none;
	}


-->

</STYLE>
