.hl-div {
    font-family: monospace;
    font-size: 14px;
    background-color: #EEEEEE;
    color: #000000;
    overflow-x: scroll;
}

.hl-key {
    font-weight: bold;
    color: #000080;
}

.hl-num {
    color: #0000FF;
}

.hl-str {
    color: #008000;
    font-weight: bold;
}

.hl-com {
    color: #808080;
    font-style: italic;
}

.hl-con {
    color: #660E7A;
    font-style: italic;
    font-weight: bold;
}

.hl-ann {
    color: #808000;
}

.w3-container a {
    text-decoration: none;
}