pre > * {
    font-family: Roboto-Mono, Menlo;
}

pre {
    overflow-y: hidden;
    overflow-x: auto;
}

.hl_table a {
    padding-right: 5px;
    padding-left: 5px;
    float: right;
}

.hl_table td {
    padding: 0px;
}

.hl_table td:first-child {
    width: 1%; // trick to make the numer row as small as possible
    padding-right: 4px;

    a {
        font-family: SFMono-Regular, Consolas, Menlo, monospace;
        color: $gray-dark;
        opacity: 0.7;
        cursor: pointer;
    }

    a:hover {
        opacity: 1;
    }
}

.hl_table tr {
    height: 16px;
}

.hl_table b {
    // keyword
    color: rgb(74, 103, 154);
    font-weight: normal;
}

.hl_table u {
    // string
    color: rgb(179, 58, 44);
    text-decoration: none;
}

.hl_table i {
    // comment
    color: rgb(169, 169, 169);
    font-style: normal;
}