+
+class DivDefined(NaturalText):
+ def render(self, element, ctx):
+ output = super(DivDefined, self).render(element, ctx)
+ output[0].text = (output[0].text or '') + ':'
+ output[0].attrib['id'] = output[0].text # not so cool?
+ return output
+
+HtmlFormat.renderers.register(core.Div, 'defined', DivDefined('dt', {'style': 'display: inline-block'}))
+
+
+class DivImage(NaturalText):
+ def render(self, element, ctx):
+ output = super(DivImage, self).render(element, ctx)
+ src = element.attrib.get('src', '')
+ if src.startswith('file://'):
+ src = ctx.files_path + src[7:]
+ output[0].attrib['src'] = src
+ output[0].attrib['style'] = 'display: block; width: 60%; margin: 3em auto'
+ return output
+
+HtmlFormat.renderers.register(core.Div, 'img', DivImage('img'))
+