Removed dependencies on Google Prettify (didn't work well on IE10).