.spacing {
  margin: 10px 0 10px 0;
}

.centered-hr {
  width: 50%;
  margin-left: auto;
  margin-right: auto;
}

.mono {
  font-family: "Courier New", Courier, monospace;
}