Change pygments theme for highlighting