body {font-size:15px; }
.P{ color:#7F0000 }
.S{ color:#CF7F3F }
.N{ color:#7F007F }
.K{ color:#0000FF; font-weight:bold; }
.C{ color:#007F00 }