html body, body div, body p, body th, body td, body li, body dl, body dd, input, select, textarea {
 font-family: Arial, Helvetica, sans-serif; font-size: 13px; color:#000000;
 }

p, ul, ol, dl {
 margin-top: .67em;
 margin-bottom: .67em;
 }

table { width: 90%; font-size: 13px; }

caption { text-align: left; text-weight: bold; color: black; }
th { text-align: center; text-weight: bold; background-color: #0000CC;}
td { font-family: Arial, Helvetica, sans-serif;
     font-size: 11pt;}

table.body-table { width: 95%; font-size: 12px; }

th.body-table {
        background-color: #0000CC;
}

td.body-table {
        background-color: #0000CC;
}

form {
 margin-top: 0;
 margin-bottom: 0;
 }

body {
	background-color: white;
	color: black;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11pt;
	margin: 0px;
	padding: 10px;
}

p {
	text-align: justify;
}

div {
	margin: 0px;
	padding: 0px;
}

h1, h2, h3, h4, h5, h6 {
	page-break-after: avoid;
	color: black;
	font-family: Verdana, Arial, sans-serif;
	font-weight: bold;
	padding: 0px;
	margin: 0px;
	margin-left: 40px;
}

h1 {
	border: 1px #003366 solid;
	font-size: 18pt;
	padding: 2px;
	margin-bottom: 10px;
	text-align: center;
	background-color: #00CC00;
	margin-left: 0px;
}

h2 {
	font-size: 16pt;
}

h3 {
	font-size: 14pt;
	color: #000033;
}

h4 {
	font-size: 12pt;
	color: #000066;
}

h5 {
	font-size: 11pt;
	font-style: italic;
	text-align: center;
	color: #333399;
	margin-left: 0px;
}

h6 {
	font-size: 10pt;
	text-align: center;
	font-weight: normal;
	color: #3333CC;
	margin-left: 0px;
}

a, a:visited {
	color: #336699;
}

a:hover, a:active {
	color: #003366;;
}

#breadcrumbs {
	border-top: 1px solid #aa99FF;
	border-bottom: 1px solid #aa99FF;
	margin-top: 10px;
	margin-bottom: 20px;
	padding-top: 0px;
	padding-bottom: 2px;
	padding-left: 10px;
	font-size: 10pt;
	font-weight: bold;
; border-color: #0000CC black; border-top-width: thin; border-bottom-width: thin
}

#menu {
	border: 1px solid;
	width: 175px;
}

#menu h4 {
	margin: 0px;
	padding-left: 5px;
	padding-top: 2px;
	padding-bottom: 2px;
	color: black;
	text-align: left;
	font-style: normal;
	font-size: 10pt;
	background-color: #0000CC;
}

#submenu h4 {
	margin: 0px;
	padding-left: 5px;
	padding-top: 2px;
	padding-bottom: 2px;
	color: black;
	text-align: left;
	font-style: normal;
	font-size: 10pt;
	background-color: #00CC00;
}

#submenu ul {
	margin-top: 5px;
	margin-bottom: 5px;
}

#authors {
	font-size: 10px;
	text-align: right;
}

#footer {
	border-top: 1px solid #aa99FF;
	margin-top: 20px;
	padding: 3px;
	text-align: center;
	font-size: 9pt;
	font-style: italic;
}

#metric {
        background-color:  #0000CC;
        border-top: 1px solid #003366;
}

a.breadcrumbs, a.breadcrumbs:visited, a.menu, a.menu:visited {
	font-size: 10pt;
	font-weight: bold;
	text-decoration: none;
}

a.breadcrumbs:hover, a.breadcrumbs:active, a.menu:hover, a.menu:active {
	text-decoration: underline;
}

.section {
	margin-left: 40px;
}

.code {
	font-family: Courier, "Courier New", monospace;
	padding: 4px;
	border: 1px #003366 solid;
}

.code, pre {
	font-size: 11px;
}

.section .code {
	margin-left: -40px;
}

.section .section .code {
	margin-left: -80px;
}

.fixed {
      	font-family: Courier, "Courier New", monospace;
       }

@media print {
	body td {
		font-family: Times New Roman, Zurich Bt, serif;
		font-size: 10pt;
	}
	#menu h4 {
		margin-left: 0px;
; border: #0000CC; border-style: solid; border-top-width: thin; border-right-width: thin; border-bottom-width: thin; border-left-width: thin
	}
	.code {
		page-break-inside: avoid;
	}
	p ul {
		page-break-inside: avoid;
	}
	.section .code {
		margin-left: 0px;
	}
	#menu {
		display: none;
; border-color: #000099 #0000CC #0000CC
	}
	#contents div {
		margin: 0px;
	}
}


.content { padding: 5px 5px 5px 10px; }

.frame { width: 95%; margin: 5px 20px 5px 20px; font-size: 11px; }
.frame .content { margin: 0px; }

.note { border: 1px #0000CC solid; background-color: #0000CC; }
.note .label { background-color: #A0C9F5; color: #ffffff; }

.warning { border: solid 1px #D00000; background-color: #fff0f0; }
.warning .label { background-color: #D00000; color: #ffffff; }

.fixme { border: solid 1px #C6C650; background-color: #FFFFCC; }
.fixme .label { background-color: #C6C650; color: #ffffff; }
body th { background-color: #0000CC }