div {
    padding: 10px;
    margin: 20px;
}

.frame {
    border-style: solid;
    border-width: 2px;
    border-color: darkgray;
}

td {
    font-family: monospace;
    font-size: x-large;
    padding: 3px;
}

.highlight {
    background-color: pink;
}

tt {
    font-size: x-large;
}

a {
    text-decoration: none;
    font-size: xx-large;
    font-family: sans-serif;
}