body {
  font-family: Helvetica, Arial, Verdana, sans-serif;
}

td.margin {
  padding: 1em 0em 1em 1em;
  background-color: #F0F0F0;
}

td.bodytext {
  padding: 1em 0em 1em 1em;

}
dl.tightlist {
  margin: 0em 0em 0em 1em;
  text-indent: -1em;

}
dl.linklist {
  margin: 0em 0em 0em 1em;
  text-indent: -1em;

}
dl.indexlist {
  margin: 0em 0em 0em 1em;
  text-indent: -1em;

}
dl.widelist {
  margin: 0em 0em 0em 1em;
  text-indent: -1em;

}
dg.grouphead {
  text-style: strong
}