Get got the prettify css, but missed the js below.