@@ -697,8 +697,15 @@ addStyle 'var' end return tag(tags[sp.style],nil,htmlSpan(sp.spans,...)) end + + function span_renderers.codepoint(t,b,s) + -- is this a UTF8 output? + return utf8.char(t.code) + -- else + -- return string.format("&#%u;", code) + end function span_renderers.deref(t,b,s) local r = b.origin:ref(t.ref) local name = t.ref