body {
  margin: 0px 0px 20px 0px; /* TRBL */
  padding: 0px;
}


div.sidebar {
  position: absolute; top: 0px; left: 0px;
  width: 15px;
  margin: 0px; padding: 0px;
  border: 0px;
}

img.sidebar {
  width:100%; height: 200px;
}


div.tocbar {
  width: 100%; height: 25px;
  border: 0px;
  margin: 0px 0px 0px 15px;
  padding: 0px;
  background-color: #413E5C;
}

div.tocbar-passive, div.tocbar-active {
  float: left;
}

img.tocbar-color {
  border: 0px;
  margin: 0px; padding: 0px;
  width: 25px; height: 25px;
  vertical-align: top;
}

img.tocbar-button {
  border: 0px;
  margin: 0px; padding: 0px;
  vertical-align: top;
}

a.tocbar-button {
  display: block;
  text-decoration: none;
  font: bold serif;
  color: #000000;
  background-color: #FFFFFF;
  border-bottom: 2px solid #000000;
  padding-right: 3px;
}

.tocbar-passive div {
  display: none;
}

.tocbar-active div {
  display: block;
  position: absolute;
  z-index: 1;
  border: 2px groove #FFFFFF;
}

a.language {
  float: right;
  margin: 0px 3px 0px 3px;
  color: white;
  text-decoration: none;
  font: bold serif;
}


div.head {
  width: 100%; height: 140;
  margin: 0px 0px 0px 15px;
  padding: 0px;
  background-color: #413E5C;
}

img.head {
  position: absolute;
  top: 25px; left:15px;
}


div.banner-left {
  margin-left: -25px;
  margin: 0px;
  margin: 0px; padding: 0px;
}

div.banner-middle {
  text-align: center;
  margin: 0px;
  margin: 0px; padding: 0px;
}

div.banner-right {
  text-align: right;
  margin: 0px;
  margin: 0px; padding: 0px;
}


p {
  margin: 0px 35px 10px 35px; /* TRBL */
  background-color: #FFFFFF;
}

a {
  color: blue;
  text-decoration: none;
}

h2 {
  margin: 25px 35px 10px 35px;
  background-color: #FFFFFF;
  font-size: x-large; font-weight: bold;
  color: #333366;
}

h3 {
  margin: 5px 35px 5px 35px;
  background-color: #FFFFFF;
  font-size: large; font-weight: bold;
  color: #333366;
}

.framed {
  border: 1px solid black;
}

table.frameborders {
  border-collapse:collapse;
}


/* Framed group with heading. Example:
<div class="group">
  <span class="grouphead">The header</span>
  <div class="groupbody">
    This is the content.
  </div>
</div>
*/
div.group {
  border: 1px solid #999999;
  margin: 1em 35px 10px 35px; /* TRBL */
}

span.grouphead {
  position: relative;
  top: -0.5em;
  padding: 0em 0.5em 0em 0.5em;
  background-color: #FFFFFF;
}

div.groupbody {
  padding: 0em 0.5em 0.5em 1.5em;
}