* {
  box-sizing: border-box;
}

body {
  background-color: #c0c0c0;
  font-family: monospace;
  font-size: 20px;
}

body > * > :first-child {
  margin-top: 0;
}

body > * > :last-child {
  margin-bottom: 0;
}

header,
main,
footer {
  margin: 0 auto;
  max-width: 46em;
}

header,
main,
footer {
  margin: 0 auto;
  max-width: 46em;
}

main {
  background-color: white;
  border: .3rem ridge;
  margin-bottom: 1rem;
  margin-top: .5rem;
  padding: 1rem;
}

footer {
  text-align: right;
}

header pre {
  font-size: 1rem;
  margin: 0;
}

figure img {
  display: block;
  margin: 0 auto;
}

a img:hover {
  filter: saturate(0);
}