revert back to Pygments highlight due to the limitation of Github pages