#downloadinfo {
  background-color:lightgreen;
  border: 1px solid #990;
  margin:5px;
  padding:5px;
  margin-bottom: 10px;
}

#downloadinfo a {
  font-weight: bold;
}