a.externalLink, a.externalLink:link, a.externalLink:visited, a.externalLink:active, a.externalLink:hover {
  background: none;
  padding-right: 0;
}

body ul {
  list-style-type: square;
}

#downloadbox {
  float: right;
  margin: 0 1em 2em 2em;
  padding: 1em;
  border: 1px solid #999;
  background-color: #eee;
}

#downloadbox h5 {
  color: #000;
  margin: 0;
  border-bottom: 1px solid #aaaaaa;
  font-size: smaller;
  padding: 0;
}

#downloadbox p {
  margin-top: 0.4em;
  margin-bottom: 0;
}

#downloadbox p a {
    color: #47a;
    font-weight: inherit;   
}

#downloadbox ul {
  margin-top: 0.4em;
  margin-left:0;
  padding-left:0;
  margin-bottom: 0;
  list-style-type: none;
}

#downloadbox li {
    font-size: 0.85em;
    padding-bottom:0.15em;
}