# Decorator for span elements.
#
# InlineDecorator does not decorate things like paragraphs or headers.
class InlineDecorator
	super HTMLDecorator

	redef fun add_paragraph(v, block) do v.emit_in block
	redef fun add_headline(v, block) do v.emit_in block

	redef fun add_code(v, block) do
		v.add "<code>"
		v.emit_in block
		v.add "</code>"
	end
end