Revert "Temporarily remove highlighting, so it renders on github."

This reverts commit 0728327a63d6771f7382aa2ecd3fd2fa014e6cb3.