Use pygments locally. Add Jellybeans CSS