PRE { margin: 6px 0px 15px 30px; padding: 10px 10px 20px 15px; border-left: 1px solid #CC0000; font-size: 12pt; line-height: 110%; color: #000000; background-color: #EEEEEE; width: 90%; overflow: auto; overflow-y: hidden; }
html>body PRE { padding-bottom: 8px; }

#content { margin: 00px 00px 0px 220px; }

#navigation {
	position: fixed;
	top: 200px;
	left: 0px;
	width: 126px;
	z-index: 201;
	padding: 0px;
}

#menu {
	position: relative;
	top: 0px;
	left: 0px;
	margin: 0px 0px 2px 0px;

	list-style: none;

}

#menu LI { font-size: 10pt; margin: 0px 0px 1px 0px; padding: 0px 0px 2px 0px; text-align: right; list-style: none; }
#menu LI UL { margin: 0px 0px 0px 15px; list-style: none; }
html>body #menu LI UL { margin: 0px 0px 0px 12px; }

#menu A {
	display: block;
	line-height: 10pt;
	font-weight: bold;
	text-decoration: none;
	color: #000000;
	background-color: transparent;
}
#menu A:visited { color: #550000F; background-color: transparent; }
#menu A:active { color: #aa0000; background-color: transparent; }
#menu A:hover { color: #aa0000; background-color: transparent; }