Use Prettify from server

Stylesheets conflict with Prettify - need more work