762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
|
function span_renderers.raw(v,b,s)
return htmlSpan(v.spans, b, s)
end
function span_renderers.link(sp,b,s)
local href = idLink(sp.ref,b)
return tag('a',{href=href}, next(sp.spans) and htmlSpan(sp.spans,b,s) or href)
end
span_renderers['line-break'] = function(sp,b,s)
return elt('br')
end
function span_renderers.macro(m,b,s)
|
|
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
|
function span_renderers.raw(v,b,s)
return htmlSpan(v.spans, b, s)
end
function span_renderers.link(sp,b,s)
local href = idLink(sp.ref,b)
local lsp = ct.linkspans(sp)
return tag('a',{href=href}, lsp and htmlSpan(lsp,b,s) or href)
end
span_renderers['line-break'] = function(sp,b,s)
return elt('br')
end
function span_renderers.macro(m,b,s)
|