body {
	background: snow;
	color: black;
	margin-left: 1pt;
	margin-right: 1pt;
}

div.doc-navigator {
	text-align: center;
	font-size: smaller;
	color: rgb(40%,40%,40%);
}

div.copyright {
	text-align: right;
	font-family: helvetica, sans-serif;
	font-size: smaller;
	color: rgb(40%,40%,40%)
}

address.contact-info {
	text-align: center;
	font-size: smaller;
}

h1 {
	background-color: RoyalBlue;
	color: yellow;
	text-align: center;
}


h2 {
	background-color: RoyalBlue;
	color: Gold;
	text-align: center;
	font-size: Large;
}

h3 {
	background-color: SkyBlue;
	color: DarkBlue;
	text-align: center;
	font-size: Large;
}

h4 {
	background-color: rgb(60%, 90%, 60%);
	color: DarkBlue;
	text-align: center;
	font-size: medium;
}

p {
	text-indent: 1em;
	line-height: 150%;
}

p.noindent {
	text-indent: 0em;
}

p.note {
	text-indent: 0em;
	margin-left: 25%;
	font-size: smaller;
}

dl.list {
	margin-left: 0%;
	background: rgb(85%, 85%, 93%);
}

blockquote {
	font-size: small;
	color: #030;
}

a:link {
	color: rgb(0%,0%,80%);
}

a:visited {
	color: rgb(0%,0%,80%);
}

dl dd {
	padding-top: 0.3em;
	padding-bottom: 0.3em;
}

ul li {
	padding-bottom: 0.3em;
}

span.note {
	font-size: smaller;
}

td.menu {
	width: 15%;
}

td.selected {
	background: rgb(70%, 70%, 99%);
	font-size: 9pt;
}

td.no-selected {
	font-size: 9pt;
}



td.body {
	background: rgb(90%, 90%, 90%);
}

dt.selected {
	background: rgb(70%, 70%, 99%);
	text-indent: 10pt;
	color: DarkBlue;
	font-size: 9pt;
}
dt.no-selected {
	text-indent: 10pt;
	color: DarkBlue;
	background: rgb(85%, 85%, 93%);
	font-size: 9pt;
}

table.whatsnew {
   background: rgb(85%, 85%, 93%);
   margin-left: 0;
   margin-right: 0;
   font-size: 8pt;
}

table.quote {
	background: rgb(85%, 85%, 93%);
	margin-left: 10pt;
	margin-right: 10pt;
	width: 95%;
}

div.quote {
	margin-left: 5%;
	margin-right: 5%;
}

dt.desc {
    margin-left: 3%;
    margin-right: 3%;
    background: rgb(60%, 90%, 60%);
    color: rgb(10%, 10%, 10%);
    font-weight: bold;
    font-size: medium;
}

dd.desc {
    margin-left: 5%;
    margin-right: 5%;
#    background: rgb(60%, 90%, 60%);
    color: rgb(10%, 10%, 10%);
    font-weight: normal;
    font-size: normal;
}

dt.desc2 {
	padding-top: 0.3em;
	padding-bottom: 0.3em;
    margin-left: 3%;
    margin-right: 3%;
    font-size: medium;
    background: rgb(60%, 90%, 60%);
    color: rgb(10%, 10%, 10%);
    font-weight: bold;
    font-size: normal;
}