Changed Pygments theme