removed pygments widget