Use syntax highlight; work around a bug in redcarpet.