body
{
	font-family: Verdana, serif;
	font-size: 12px;
	margin: 4px;
	padding: 0px;
	border-style: none;
}

p
{
	margin: 0px 0px 10px 0px;
}

p.comment
{
	font-style: italic;
	color: #0000ff;
}

/*
	Paragraph style used for the table of content. For now it is only used as a 
	marker
*/
p.toc
{
}

h1
{
	font-size: 16px;
	margin: 0px 0px 10px 0px;
}

h2
{
	font-size: 14px;
	margin: 0px 0px 2px 0px;
}

h3
{
	font-size: 12px;
	margin: 0px 0px 2px 0px;
}

h4
{
	font-size: 12px;
	margin: 0px 0px 2px 0px;
}

table
{
	border-collapse: collapse;
	font-size: 12px;
	margin: 0px 0px 10px 0px
}

td
{
	border: 1px solid #aaaaaa;
	padding: 4px;
	text-align: left;
	vertical-align: top;
}

td.number
{
	text-align: right;
}

table.transparent td
{
	border-style: none;
	margin: 0px;
	padding: 0px;
	width: 100%;
}

th
{
	font-weight: bold;
	border: 1px solid #aaaaaa;
	background-color: #eeeeee;
	padding: 4px;
	text-align: left;
	vertical-align: top;
}

code
{
	font-family: "Lucida Console", monospace;
}

ul
{
	list-style: disc outside none;
	margin: 0px 30px 10px 30px;
}

/*
	Style is needed to prevent unwanted spacing because lists can be nested to
	create a tree structure.
*/	
ul ul
{
	list-style: disc outside none;
	margin: 0px 30px 0px 30px;
}

ol
{
	list-style: decimal outside none;
	margin: 0px 30px 10px 30px;
}

ol.directory
{
	list-style: none outside none;
	font-family: "Lucida Console", monospace;
	margin: 0px 30px 10px 30px;
}

/*
	Style is needed because directory lists can be nested to create a tree 
	structure. With this style no nested lists need to be tagged with the 
	directory class.
*/	
ol.directory ol
{
	list-style: none outside none;
	margin: 0px 30px 0px 30px;
}

dl
{
	margin: 0px 0px 10px 0px;
}

hr
{
	height: 1px;
}