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

a {
 text-decoration: none;
}
a: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 {
 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;
}

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;
}