pre {background:#E5E5E5; margin-top: 2px; margin-bottom: 2px;}
font.kw {color:#0000FF}
font.fun {color:#FF0000; font-weight: bold}