marking of definitions with diamond
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 13 Jun 2012 21:49:45 +0100
changeset 3316 90c12ad0f90f
parent 3315 8e8ce2a090ce
child 3318 8980cb704a5f
child 3326 a958d03b1cb6
marking of definitions with diamond
model/prov-dm.html
--- a/model/prov-dm.html	Wed Jun 13 15:12:31 2012 -0500
+++ b/model/prov-dm.html	Wed Jun 13 21:49:45 2012 +0100
@@ -91,6 +91,19 @@
         });
       }
 
+      function updateDfn() {
+        var count=1;
+        $('dfn').each(function(index) {
+
+          var myid=$(this).addClass('internalDFN').attr('id');
+
+          $(this).after($('<sup>').append($('<a>').attr('href','#'+myid).append("&#9674;")));  //&#9674;//&#9830;
+          
+              console.log( "dfn for " + myid + " ");
+
+        });
+      }
+
 
       function updateExamplesRefs() {
         $('.anexample-ref').each(function(index) {
@@ -136,6 +149,7 @@
         updateFigCaptions();
         updateExamples();
         updateExamplesRefs();
+
       });
 
     </script>
@@ -310,7 +324,7 @@
           // Add extraReferences to bibliography database
           preProcess: [addExtraReferences],
 
-          postProcess: [updateSectionRefs],
+          postProcess: [updateSectionRefs, updateDfn],
       };
     </script> 
   </head>