Moved to pygments from jhighligt - lots of hightlighted languages available