···11+--[[
22+Converts some HTML elements commonly used in Markdown to corresponding DocBook elements.
33+]]
44+55+function RawInline(elem)
66+ if elem.format == 'html' and elem.text == '<kbd>' then
77+ return pandoc.RawInline('docbook', '<keycap>')
88+ elseif elem.format == 'html' and elem.text == '</kbd>' then
99+ return pandoc.RawInline('docbook', '</keycap>')
1010+ end
1111+end