.c	{ color: #008000; font-style: italic }
.i	{ color: #000000; font-weight: bold; }
.n	{ color: #0000FF; }
.pp	{ color: #003366; font-weight: bold;  }
.t	{ color: #FF0000; }
.v	{ color: #660033; }