body {
    font-family: helvetica, arial, sans-serif;
    font-size: 9pt;
}

pre {
    font-family: monaco, monospace;
}

.overlay {
    position: absolute;
    background: rgba(0, 0, 0, 0.5);
    color: white;
    padding: 0.5em;
}

.highlight {
    background-color: yellow;
}

.tokenization {
    cursor: pointer;
}