bsw@2: function encode.highlight(text)
bsw@2:   local text = encode.html(text)
bsw@2:   text = text:gsub("\027", "")
bsw@2:   text = text:gsub("\\\\", "\027b")
bsw@2:   text = text:gsub("\\%*", "\027a")
bsw@2:   text = text:gsub("%*([^%*]*)%*", '<span class="highlighted">%1</span>')
bsw@2:   text = text:gsub("\027a", "*")
bsw@2:   text = text:gsub("\027b", "\\")
bsw@2:   return text
bsw@2: end