A code browser based on Pygments