pre { font-family: "Courier New",Courier,monospace; font-size: 12px; color: #007700; }
span.comment { color: #FF8000; font-weight: normal; }
span.oper { color: #007700; font-weight: normal; }
span.var { color: #0000BB; font-weight: normal; }
span.func { color: #007700; font-weight: normal; }
span.string { color: #DD0000; font-weight: normal; }
span.num { color: #007700; font-weight: bold; }
span.reg { color: #DD0000; font-weight: normal; }