body {
  border: 1px solid #000000;
  background: #EEF3F5;
  margin: 0px;
  padding: 0px;
}
div.Heading {
  padding-top: 5px;
  padding-bottom: 5px;
  padding-left: 5px;
  background: #adc4d2;
  font-weight: bold;
  font-size: 24pt;
  border-bottom: 1px solid #000000;
}
span.HeadingSmallText {
  font-weight: bold;
  font-size: 12pt;
}
div.LongHelp {
  margin: 20px;
  font-style: italic;
}
div.Description {
  border-top: 1px solid;
}
table.PropertiesTable {
}
tr.PropertiesTableHeading {
  background: #85a8bc;
}

div.toc {
  background: #DDDDDD;
  border: 1px solid #000000;
  margin: 2em 2em;
  padding: 1em;
  width: 30em;
}
