body {
  background-color: #fff;
  padding-top: 20px;
  padding-bottom: 20px;
  line-height: 150%;
}

a:link {
  color: #369;
}

a:visited {
  color: #369;
}

a:hover {
  color: #69c;
}

a:active {
  color: #123;
}

p {
  margin-top: 1.0em;
  margin-bottom: 1.0em;
}

h2 {
  font-size: 150%;
  color: #333;
  margin-top: 0.5em;
}

h3 {
  font-size: 130%;
  color: #666;
  margin-top: 0.5em;
}

h4 {
  font-size: 110%;
  color: #333;
  margin-top: 0.5em;
}
ul {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

ul.bulleted li, ol.numbered li ul.bulleted li {
  margin-left: 2em;
  list-style: disc url("/res/li.png") outside;
}

ol.numbered li {
  margin-left: 2em;
  list-style: decimal;
  margin-top: 1em;
}

pre {
  margin-left: 1em;
  color: #366;
}

code {
  color: #366;
}

#doc2 {
  /*
  margin-bottom: 20px;
  margin-left: auto;
  margin-right: auto;
  padding: 0px;
  text-align: left;
  */

  border: none;
  background-color: #fff;
}

#header {
  width: 100%;
  border-bottom: 1px solid #ccc;
}

#logo {
  width: 100px;
  height: 54px;
  margin-top: 2px;
  margin-bottom: 8px;
  background: url(/res/logo100x54.png);
}

#footer {
  width: 100%;
  border-top: 1px solid #ddd;
  font-size: 8pt;
  color: #999;
  padding: 4px;
  /*text-align: center;*/
}

#content {
  margin-bottom: 20px;
  min-height: 200px;
  padding: 10px;
}

#topmenuwrapper {
}

.smalltext {
  font-size: 85%;
  line-height: 160%;
}

.largetext {
  font-size: 150%;
  line-height: 100%;
}
.floatright {
  float: right;
}

.floatleft {
  float: left;
}

.clear {
  clear: both;
}

TABLE.datatable TR TH {
  border-bottom: 1px solid #000;
  vertical-align: bottom;
}

TABLE.datatable TR TD {
  width: 8em;
  padding-top: 0.8em;
  margin-bottom: 0.8em;
}

TABLE.datatable TR TD {

}

TD.num, TH.num {
  text-align: right;
}

.indented {
  margin-left: 2em;
  margin-bottom: 0.5em;
  margin-right: 2em;;
}

.leftcol {
  width: 15%;
  float: left;
  margin-top: 2em;
  margin-left: 5%;
  padding-right: 0.5em;
  text-align: right;
}

.rightcol {
  width: 70%;
  float: left;
  margin-top: 2em;
  padding-left: 0.5em;
  border-left: 1px solid #369;
}

#topmenu {
  -font-weight: bold;
  font-style: oblique;
  border-right: none;
  border-top: 1px solid #eee;
  border-bottom: none;
  border-right: none;
  border-left: 1px solid #ddd;
}

#topmenu a {
  border-top: none;
  border-bottom: none;
}