.mono {
    font-family: monaco, monospace
}

.pnumber {
    color: #d00000
}

.pspecial {
    color: #6f6ff5
}

.pchar {
    color: black
}

.hyphencol {
    color: #79a305
}

.hyphenbasic {
    color: red
}

.pspecs {
    color: #c70101
}