pygments and width