use an improved theme for CodeRay source highlighting