* {
  font-family: 'DejaVu Sans', Arial, sans-serif;
}
body {
  margin: 0.5em;
}
h1 {
  font-size: 1.5em;
}
p.download {
  width: 15em;
  text-align: center;
  margin: 2em ;
  padding: 0.5em;
  background-color: #DFDFDF;
  border: 1px solid #700002;
}
p.download a {
  display: block;
}
header {
  display: flex;
  gap: 1em;
}
footer {
  margin-top: 5em;
  border-top: 1px solid #700002;
}