Use pygments->rrt theme