.top_links {
  background: URL('afbeeldingen/top_links.gif');
  height:112;
  width:491;
}

.body {
  color:#003399;
  font-family: arial;
  font-size: 10pt;
  overflow: auto;
  width: 470;
  height: 475;
}

a.topmenu:link, a.topmenu:visited, a.topmenu:active {
  color: #FFF;
  text-decoration: none;
}
a.topmenu:hover {
  color: #FFF;
  text-decoration: underline;
}