pre {
    padding:5px;
    background-color: #363b3d;
    overflow-x: scroll;
}

.filename {
    background-color: #363b3d;
    padding: 5px;
    border-bottom: 1px solid gray;
    font-size: 0.8em;
}

.s0 {
    color: #cc7832;
}

.s1 {
    color: #a9b7c6;
}

.s2 {
    color: #6897bb;
}

.s3 {
    color: #6a8759;
}

.s4 { 
    color: #bcbec4;
}

.s5 { 
    color: #5f826b; 
    font-style: italic;
}

.ln { 
    color: #606366; 
    font-weight: normal; 
    font-style: normal; 
}

.err {
    color:red;
}