html, body {
    height: 100%;
    margin: 0;
    padding: 16px;
    font-size: 20px;
    font-family: serif;
}

div.code {
    border: 2px dotted grey;
    padding: 3px;
    margin: 3px 20px 3px 20px;
}

a.input-file-name {
    font-family: monospace;
}

strong {
    font-weight: bolder;
    text-decoration: underline;
}

del {
    text-decoration: line-through;
    color: red;
    opacity: 75%;
}

span.santa {
    font-style: italic;
    color: red;
    opacity: 75%;
}

span.elf {
    font-style: italic;
    color: green;
    opacity: 75%;
}

h2 {
    padding-top: 64px;
}

.video-rec img {
    padding-right: 16px;
}