--- a/publish/processing.js	Fri Jun 14 08:14:36 2013 +1000
+++ b/publish/processing.js	Sat Feb 01 12:44:24 2014 +1100
@@ -498,7 +498,7 @@
 function doElementSummary(conf, page, n) {
   var name = n.getAttribute('name');
   var element = conf.definitions.elements[name];
-  var e = utils.parse('<div class="element-summary"><div class="element-summary-name"><span class="element-name">‘{{name}}’</span></div><dl>' +
+  var e = utils.parse('<div class="element-summary"><div class="element-summary-name"><span class="element-name">‘<dfn data-dfn-type="element" data-export id="elementdef-{{name}}">{{name}}</dfn>’</span></div><dl>' +
                       '<dt>Categories:</dt><dd>{{categories}}</dd>' +
                       '<dt>Content model:</dt><dd>{{contentmodel}}</dd>' +
                       '<dt>Attributes:</dt><dd>{{attributes}}</dd>' +