Twilight theme: Lots of tweaks, primarily to Pygments theme