body		{ background: white; font-family: Verdana, Arial, Helvetica; font-size: 10pt; text: black; margin: 5px; }
td			{ font-size: 10pt; }
th			{ font-size: 10pt; background-color: navajowhite; }
h1			{ font-size: 10pt; padding: 0px; font-weight: normal; color: black; text-align: left;}
h2			{ font-size: 10pt; background: #B0C4DE; font-weight: bold; padding: 6; margin-top: 40;}
h3			{ font-size: 10pt; font-weight: bold; }
pre		{ background: #FFF9CC; padding: 10; border: 0px solid; }

cite		{ font-style: normal; color: navy; font-weight: bold; }
kbd		{ font-family: Verdana, Arial, Helvetica; color: maroon; font-weight: bold; }

.comment	{ background-color: #FFFF00; }

td.banner		{ background: #B0C4DE; font-size: 14pt }
td.bannertoc	{ padding: 10px; width: 160px; background: #B0C4DE; }
td.location    { padding: 5px; padding-left: 180px; background: #FFE4B5; color: black; font-size: 10pt; vertical-align: middle; text-align: left; }

td.toc			{ width: 160px; background: #B0C4DE; }
td.text			{ padding: 10px; padding-right: 5px; }
span.subtitle	{ font-size: 10pt; font-weight: bold; }

td.download		{ padding-left: 5px; padding-bottom: 15px; }

table.books		{ border-collapse: collapse; }


div.menu td, div.menu tr, div.menu table { margin: 0; padding: 0; border: 0px}
div.menu a, div.menu em { display: block; font-size: 8pt; }
div.menu em { background-color: #8c96bd; color: white; font-weight: bold; font-style: normal; padding: 3; 
              border: 1px solid; border-color: black; }
div.menu a { vertical-align: middle; border-bottom: 1px solid; border-right: 1px solid; padding: 1; }
div.menu a:link { background: #CFCFCF; text-decoration: none; color: black }
div.menu a:visited { background: #CFCFCF; text-decoration: none; color: black }
div.menu a:hover { background: navy; color: white; font-weight: bold; }

div.menu a:link.current { background: #FFCC00; text-decoration: none; color: black; font-weight: bold; }
div.menu a:visited.current { background: #FFCC00; text-decoration: none; color: black; font-weight: bold; }
div.menu a:hover.current { background: #FFCC00; color: black; font-weight: bold; }

div.menu a:link.expanded { background: #EFEFEF; text-decoration: none; color: black; }
div.menu a:visited.expanded { background: #EFEFEF; text-decoration: none; color: black; }
div.menu a:hover.expanded { background: navy; color: white; font-weight: bold; }

div.menu a.submenu { margin-left: 18px; }
div.menu a:link.submenu { background: #E4E4E4; text-decoration: none; color: black; }
div.menu a:visited.submenu { background: #E4E4E4; text-decoration: none; color: black; }
div.menu a:hover.submenu { background: navy; color: white; font-weight: bold; }

div.menu a.subcurrent { margin-left: 18px; }
div.menu a:link.subcurrent { background: #FFCC00; text-decoration: none; color: black; font-weight: bold; }
div.menu a:visited.subcurrent { background: #FFCC00; text-decoration: none; color: black; font-weight: bold; }
div.menu a:hover.subcurrent { background: #FFCC00; color: black; font-weight: bold; }

div.menuh a { display: block; font-size: 8pt; border-bottom: 1px solid; border-right: 1px solid; padding: 4; }
div.menuh a:link { background: #CFCFCF; text-decoration: none; color: black; }
div.menuh a:visited { background: #CFCFCF; text-decoration: none; color: black; }
div.menuh a:hover { background: navy; color: white; font-weight: bold; }

div.menuh a.current:link { background: #FFCC00; text-decoration: none; color: black; }
div.menuh a.current:visited { background: #FFCC00; text-decoration: none; color: black; }
div.menuh a.current:hover { background: #FFCC00; color: black; font-weight: bold; }

@media print {
div.shift { margin-left: -170; }
}