.topNavigation {
  color: #0;
  margin: 0;
  padding: 0.5ex 5px;
  border-bottom: 1px dotted #777777;
}

.topNavigation span {
  color: #b84e0d;
}

.topNavigation small {
  font-size: 80%;
}

.topNavigation a:link {
  color: #555555;
  text-decoration: none;
  margin: 0;
  padding: 0 0.25ex 0 0;
}

.topNavigation a:hover {
  color: #000000;
  text-decoration: underline;
}

.topNavigation a:visited {
  color: #555555;
  text-decoration: none;
}

.topNavigation a:visited:hover {
  color: #000000;
  text-decoration: underline;
}

td.downloadList {
  padding: 1ex;
  vertical-align: top;
}

.downloadList {
  margin-bottom: 3.5ex;
  background: #a0;
}

td.downloadTag {
  padding: 1ex;
}

.downloadTag {
  margin-bottom: 1.5ex;
}

.downloadLink {
  font-size: 80%;
  float:left;
  width: 200px;
  height: 26px;
  background-image:url(downloadbutton.png);
}

.downloadLink a {
  color: black;
  text-decoration: none;
  position: relative;
  left: 2em;
  top: 0.5ex;
}

.downloadLink a:hover {
  color:red;
  text-decoration: underline;
}

.downloadComment {
 clear:both;
}