removed prettify css that we're not using