code {
  display: block;
  padding: 3px 20px;
  border: dashed 1px #000040;
}

.footnote {
  font-size: 90%;
  margin: 1em 0;
}