div.Download {
  margin: 1em auto;
  width: 65em;
  padding: 0.5em;
  border: 1px solid #c8d0e0;
  background-color: #e8ecf8;
  font-size: 85%;
  text-align: center;
}

div.Download p {
  margin-top: 0;
  font-size: 120%;
  font-variant: small-caps;
}

div.Download p a {
  font-weight: bold;
  text-transform: uppercase;
}

div.Download code {
  padding: 0 1.5em;
  background-color: #FFFFFF;
  font-size: 120%;
  font-weight: bold;
  font-variant: normal;
}