.footer {
  border-top: 1pt grey solid
}
.header {
  font-size: 300%;
  font-weight: bold;
}
pre { 
    background-color: #cdcacd;
    color: black;
    padding: 0em 1em 9px;
    font-family: monospace;
    text-align: left;
}