Fix syntax highlighting for github pages (cont)#455

rossabaker merged 1 commit intotypelevel:developmenttypelevel/typelevel.github.com:developmentfrom

kiendang:disable-gh-pages-rouge-highlighterkiendang/typelevel.github.com:disable-gh-pages-rouge-highlighterCopy head branch name to clipboard