table{
	font-size   : 12px;
	line-height : 135%;
}

ul{
	margin     : 5px 0px 5px 40px;
}

table.documents{
	font-size   : 14px;
	margin      : 10px 0px 10px 20px;
}

div.copyright{
	color      : #808080;
	text-align : right;
	margin     : 20px 0px 6px 15px;
}

div.path{
	text-align : right;
	margin     : 2px 0px 6px 15px;
}

div.indent{
	margin : 10px 0px 10px 15px;
}

div.margin2{
	margin : 2px 0px 2px 0px;
}

div.right{
	text-align : right;
}

div.contents{
	margin : 2px 0px 5px 15px;
}

span.red{
	color : #aa2211;
}