Styles and javascript for prettify (we used on blogger).