del {
    color: hsl(0, 100%, 37%); background-color: hsl(0, 100%, 90%);
}

ins {
    color: hsl(100, 80%, 37%); background-color: hsl(100, 80%, 90%);
    text-decoration: none;
}

.identifier {
    font-family: monospace;
    opacity: 0.7;
    font-size: 1.3em;
}

.editor-label.tooltip {
    cursor: pointer
}

.arrow {
    font-family: monospace;
    font-size: 150%;
}

.op-changed td.delta {
    position: relative;
    top: -0.2em;
}

.op-added .delta .arrow, .op-deleted .delta .arrow {
    display: none;
}

.for-trial {
    font-style: italic;
}

#al-notes {
    display: none;
}