add google-code-prettify and jQueryUI