modify prettify.css from github theme to bootstrap theme