IPython pygment style and stylesheet