micahflee/fixubuntu — pull request #38 by XhmikosR (2014-04-04 06:57:29+00:00)
Title: Switch to highlight.js for highlighting.

It's much lighter than Syntax Highlighter.