fixing look of prettify
renaming files
use script for google-prettify instead of local script