.bodytable {
  width: 800px;
  padding: 0px;
}

td.leftnav {
  padding:          20px 20px 20px 15px;
  background-color: #EEEEFF;
  border-style:     solid;
  border-color:     #000000;
  border-width:     1px;
}

.leftnav_heading {
  font-variant:  small-caps;
  font-size:     150%;
  font-weight:   bold;
  padding-left:  10px;
  padding-right: 10px;
  border-style:  solid;
  border-color:  #000000;
  border-width:  2px;
}

ul.leftnav {
  white-space:      nowrap;
  list-style-type:  square;
}
a.leftnav {
  font-weight:      bold;
  color:            #000000;
}

.contentpane {
  width: 100%;
  padding: 20px;
}

.bold_para_start {
  font-variant: small-caps;
  font-size:    150%;
  font-weight:  bold;
}

table.downloadstable {
  border-style:     solid;
  border-color:     #CCCCDD;
  border-width:     15px;
  width:            100%;
  background-color: #CCCCDD;
}
td.downloadstable {
  padding:          5px;
}

table.glossarytable {
  border-style:     solid;
  border-color:     #000000;
  border-width:     1px;
}
th.glossarytable {
  background-color: #CCCCDD;
  padding:          5px;
  text-align:       left;
}
td.glossarytable {
  background-color: #DDDDEE;
  padding:          5px;
}

.code {
  font-family: courier;
  white-space: pre;
}

th {
  vertical-align: top;
}
td {
  vertical-align: top;
}

.newsblock {
  background-color: #CCCCDD;
  padding:          20px;
}