--- a/model/prov-dm.html	Wed Jun 13 23:08:29 2012 +0100
+++ b/model/prov-dm.html	Wed Jun 13 23:22:09 2012 +0100
@@ -86,7 +86,7 @@
           $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle')
                                                           //.append($('<a>').addClass('internalDFN').attr('href','#'+myid).append("Example " + mycount))
               .append("Example " + mycount + " ")
-              .append($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append("&#9674;")))
+              .append($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').attr('style','font-size: 100%; font-weight:normal; font-family: sans-serif; ').append("&#9674;"))))
               );
 
 
@@ -141,7 +141,7 @@
 
             //Problem, this returns all span.secno elements, and concatenates their text
                     // I shoul just get the first one
-            mysectionNumber=$(myhref).find('span.secno').text().trim();
+            mysectionNumber=$(myhref).find('span.secno').first().text().trim();