/* not necessary since v1.15
.chroma .s1 {
    color: #cc7a00;
}

.linenums {
    font-size: 12px;
}
*/