Fixes #15: Change Pygments highlight style to monokai style