Disable pandoc syntax highlighting
Switch to prism.js for syntax highglighting
Update formatting for code blocks
Simplify css for syntax hightlighting
Make minimal prism-agda that works
Make minimal prism-idris that works