body {
 font-family: arial,helvetica, sans-serif;
 font-size: 11pt;
}

a:link, a:visited {
 text-decoration: none;
}
a:link:hover, a:visited:hover {
 text-decoration: underline;
}
p {
 margin: 1ex 1em;
 text-indent: 2em;
 text-align: justify;
}
p.note {
 margin-left: 10%;
 border-width: 1px 1px 1px 6px;
 border-color: gray gray gray #0000a0;
 border-style: solid solid solid double;
 padding: 1ex 1ex 1ex 2em;
 font-size: 80%;
 background: #c0c0e0;
 color: #202020;
}
code a,
code {
 color: #d04040;
}
em {
 white-space: nowrap;
}

div.google_ad {
 text-align: center;
 margin: 1ex;
}
div.google_ad.top {
 padding-bottom: 1ex;
 border-bottom: 1px gray solid;
}
div.google_ad.bottom {
 padding-top: 1ex;
 border-top: 1px gray solid;
}

div#sidepanel {
 position: absolute; top: 0px; left: 0px;
 margin: 0px;
 width: 20%;
 font-size: 80%;
}
div#content {
 position: absolute; top: 0px; right: -0px;
 margin: 0px;
 width: 80%;
}

div#sidepanel h1 {
 font-size: 80%;
 text-align: center;
 font-weight: normal;
 color: #004080;
 white-space: nowrap;
 margin-top: 2ex; margin-bottom: 2ex;
}
div#sidepanel h2 {
 font-size: 80%;
 text-align: justify;
 font-weight: normal;
 color: gray;
 margin: 1ex 1ex;
}
div#sidepanel ul {
 padding: 1ex 0.5ex 1ex 1ex;
 margin: 0.5ex;
 border-color: #c0c0c0 #404040 #404040 #c0c0c0;
 border-width: 1px 2px 2px 1px;
 border-style: solid;
 background: #d0d0d0;
 list-style-type: none;
}
div#sidepanel ul ul {
 margin: 0px; padding: 0px;
 border: none 0px;
}
div#sidepanel li {
 list-style-type: none;
 margin: 0px; padding: 0px;
 display: block;
}
div#sidepanel ul a {
 display: block;
 padding: 1px 1ex;
 margin: 0.5ex;
 border: 1px solid gray;
 text-decoration: none;
 background: white;
 color: black;
}
div#sidepanel ul a:hover {
 background: gray;
 color: white;
}
div#sidepanel ul ul a {
 padding-left: 2.5ex;
 background: #e0e0e0;
}
div#sidepanel div.copyright {
 text-align: center;
}

div#content h1 {
 font-size: 140%;
 color: gray;
 font-weight: bold;
 text-align: center;
 margin: 1em;
 clear: both;
}
div#content h2 {
 font-size: 140%;
 color: #8080a0;
 font-weight: bold;
 text-align: center;
 margin: 1em;
 clear: both;
}
div#content p a {
 font-weight: bold;
}
div#content p a.internal {
 font-weight: inherit !important;
}

div.insert {
 text-align: center;
}
iframe#insert {
 border: 1px solid black;
}

div.source h1 {
 background: #e0e0e0;
 border: 1px solid #808080;
 padding-left: 1em;
 margin: 0px;
 font-size: 100%;
 color: #000060;
 overflow: hidden;
}
div.source ul {
 background: #80c0c0;
 margin: 0px;
 padding: 1px 0px;
 font-family: monospace;
 font-size: 80%;
 overflow: hidden;
 width:100%;
}
div.source li {
 list-style-type: none;
 white-space: nowrap;
 margin: 0px 0.5ex;
}

ul.sourcebrowser {
 font-size: 70%;
}
ul.sourcebrowser ul.dir {
 padding: 1px 0px 2px 1em;
 margin: 1px 0px 1px 0px;
}
ul.sourcebrowser li.dir {
 margin: 1px 0px 1px 0px;
}
ul.sourcebrowser li.file {
 list-style-type: none;
 white-space: nowrap;
 display: inline;
}
ul.sourcebrowser li.file a {
 border: 1px solid gray;
 padding: 1px 0.5ex;
 text-decoration: none;
 font-family: monospace;
}
ul.sourcebrowser li.file a:hover {
 background: gray;
 border: 1px solid black;
 color: white;
}

div.prevnext {
 margin: 1ex;
}
div.prevnext a {
 margin: 0.5ex 1em; padding: 0.2ex 0.5ex;
 display: block; width: 30%;
 border: solid 1px gray;
 color: black;
 text-decoration: none;
}
div.prevnext a.prevnext-prev {
 float: left;
 text-align: left;
}
div.prevnext a.prevnext-next {
 float: right;
 text-align: right;
}
div.prevnext a:hover {
 background: gray;
 border: black 1px solid;
 color: white;
 text-decoration: none;
}

ul.quickref.toc {
 margin: 1em 20%;
 font-size: 90%;
 border: solid 1px gray;
}

dl.quickref {
 margin: 1ex 1em;
 overflow: hidden;
}
dl.quickref dt {
 margin: 0.4ex;
 padding: 2px 0.5ex;
 background: #e0e0e0;
 display: compact;
}
dl.quickref dd {
 margin: 0px 1% 0.4ex 10%;
 width: 89%;
 padding: 0px;
 border: 1px solid gray;
 overflow: hidden;
}
dl.quickref code kbd {
 font-style: italic;
 color: #0000c0;
}
dl.quickref blockquote {
 background: #ffffc0;
 padding: 4px;
 border: dotted 1px gray;
 font-family: monospace;
 font-size: 90%;
 overflow: hidden;
}
dl.quickref blockquote em {
 display: block;
 font-family: inherit !important;
 font-size: inherit !important;
 font-weight: inherit !important;
 font-style: inherit !important;
 background: #ffc0c0;
 overflow: hidden;
}