pre {
color:#000;
font-size:small;
}

font {
color:#000;
}

font.comment {
color:green;
}

font.keyword,font.modify {
color:#00008B;
font-weight:700;
}