--- a/publish/processing.js	Mon Aug 20 10:38:38 2012 +1000
+++ b/publish/processing.js	Mon Aug 20 15:40:15 2012 +1000
@@ -599,7 +599,7 @@
 }
 
 function doElementIndex(conf, page, n) {
-  var elements = Object.keys(conf.definitions.elements).map(function(name) { return conf.definitions.formatElementLink(name) });
+  var elements = Object.keys(conf.definitions.elements).sort().map(function(name) { return conf.definitions.formatElementLink(name) });
   var index = utils.parse('<ul class="element-index" summary="Alphabetic list of elements">{{elements}}</ul>',
                           { elements: elements.map(function(e) { return utils.parse('<li>{{link}}</li>', { link: e }) }) });
   utils.replace(n, index);