.highlightable {
    overflow: auto;
}