Fix Pygments Double Border Effect