832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
|
local href
if b.uri then
href = htmlURI(b.uri)
elseif b.ref then
href = idLink(b.ref, b)
end
local sp = sr.htmlSpan(b.spans, b, s)
return tag('div', {},
catenate{tag('a',{class='link', href=href},sp)})
end;
table = function(b,s)
local tb = {}
for i, r in ipairs(b.rows) do
local row = {}
for i, c in ipairs(r) do
table.insert(row, tag(c.header and 'th' or 'td',
|
|
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
|
local href
if b.uri then
href = htmlURI(b.uri)
elseif b.ref then
href = idLink(b.ref, b)
end
local sp = sr.htmlSpan(b.spans, b, s)
return tag('a',{class='link', href=href},
catenate{tag('div', {}, sp)})
end;
table = function(b,s)
local tb = {}
for i, r in ipairs(b.rows) do
local row = {}
for i, c in ipairs(r) do
table.insert(row, tag(c.header and 'th' or 'td',
|