redef fun add_code(v, block) do
var meta = block.meta
if meta != null then
v.add "<pre class=\""
append_value(v, meta)
v.add "\"><code>"
else
v.add "<pre><code>"
end
v.emit_in block
v.add "</code></pre>\n"
end
lib/markdown/markdown.nit:757,2--768,4