--- a/model/extra-dm.css	Tue May 29 14:52:04 2012 +0100
+++ b/model/extra-dm.css	Tue May 29 15:19:05 2012 +0100
@@ -286,19 +286,26 @@
     padding:    3px 1em;
 }
 
-.anexample[count]::before {
-    content: "Example " attr(count) ;
+/* 
+generating this through java script now.
+
+.anexample[data-count]::before {
+    content: "Example " attr(data-count) ;
     font-family: sans-serif;
     font-size: 1.6ex;
     font-weight: bold;
 }
 
+
 .anexample:before {
     content: "Example:";
     font-family: sans-serif;
     font-size: 1.6ex;
     font-weight: bold;
 }
+
+*/
+
 .anexample {
     margin-top: 1ex;
     margin-bottom: 1ex;
@@ -313,6 +320,13 @@
     background-color: #f9f9f9;
 }
 
+.anexampleTitle {
+    font-family: sans-serif;
+    font-size: 1.6ex;
+    font-weight: bold;
+}
+
+
 .pnExpression {
     font-weight: normal;
     font-size:120%;

--- a/model/prov-dm.html	Tue May 29 14:52:04 2012 +0100
+++ b/model/prov-dm.html	Tue May 29 15:19:05 2012 +0100
@@ -77,7 +77,7 @@
           var myid=$(this).attr('id');
           var mycount=count++;
 
-          $(this).attr('count', mycount);
+          $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle').append("Example " + mycount));
 
           //console.log( "example for " + myid + " " + mycount);
 
@@ -92,7 +92,7 @@
 
           console.log( "example ref for " + myhref);
 
-          mycount=$(myhref).attr('count');
+          mycount=$(myhref).attr('data-count');
 
           console.log( "example ref for " + myhref + " " + mycount);