resolves #538 add pygments as source highlighter option

- also fix bug in CodeRay stylesheet