.highlight>.keyword {
    color: #941edf;
}

.highlight>.type {
    color: #941edf;
}

.highlight>.number {
    color: #000;
}

.highlight>.string {
    color: #00a000;
}

.highlight>.line-comment, .highlight>.block-comment {
    color: #e65d00;
}