table.page {
  width:600;
  border:2px solid white;
  border-collapse:collapse;
}
div.example {
  width:510;
  border:1px solid #336699;
  border-collapse:collapse;
  background-color:#FAFAFA;
  margin: 16px 0px 16px 40px;
  padding: 2px;
  }
table.overview {
  border:1px solid #336699;
  border-collapse:collapse;
  margin: 16px 0px 16px 40px;
  }
th {
  font: bold 80% verdana;
  background-color: #E6F2FF;
  border:1px solid #336699;
  text-align: left;
  }
td {
  font: 80% verdana;
  vertical-align: top;
  text-align: left;
  border:1px solid #336699;
  }
td.column
{
  border: 0px;
}
td.symbol {
  font: 100% times new roman;
  text-align: center;
}

a {
  color: #336699;
  text-decoration: none;
  }
a:visited {
  color: #855099;
}
a.list {
  text-decoration: underline;
  }
a.sa {
  text-decoration: underline;
  }
a.top {
  text-decoration: underline;
  text-align: right;
  font-size: xx-small;
  }
a:hover {
  color: red;
  text-decoration: underline;
  }

h1 {
  color: #E6F2FF;
  background-color: #336699;
  border-left: 3px solid #336699;
  border-bottom: 2px solid #336699;
  }

h3 {
  color: #E6F2FF;
  background-color: #336699;
  border-left: 1px solid #336699;
  border-bottom: 1px solid #336699;
  }
h4 {
  color: black;
  font: bold 100% verdana;
  margin:0px;
  }
img.logo {
  vertical-align: bottom;
  }
img.imgright {
  margin-left: 8px;
}

font.fn {
  color: navy;
}
font.example {
  font: 10pt verdana;
}
span.highlight {
  font-weight: bold;
  background-color: yellow;
}