--- a/model/ProvenanceModel.html	Mon Sep 05 23:31:39 2011 +0100
+++ b/model/ProvenanceModel.html	Tue Sep 06 00:08:25 2011 +0100
@@ -476,10 +476,11 @@
 
 
 
-<div class='namedconstraint'><span class='cname'>start-precedes-end</span><a name="PIL:0001"> From the assertion of a process execution, one can infer that the
+<div class='constraint' id='start-precedes-end'><a name="PIL:0001"> From the assertion of a process execution, one can infer that the
 start precedes the end of the represented activity.</a> [<a
 href="../ontology/ProvenanceFormalModel.html#PIL:0001">PIL:0001</a>] </div>
 
+
 <div class='pending'>Should process execution be defined as a subclass of BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/66">ISSUE-66</a>.</div>
 </section> 
 

--- a/model/extra.css	Mon Sep 05 23:31:39 2011 +0100
+++ b/model/extra.css	Tue Sep 06 00:08:25 2011 +0100
@@ -56,6 +56,25 @@
     padding:    3px 1em;
 }
 
+.unamedconstraint {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #00f;
+    background: #fff;
+}
+
+
+.unamedconstraint::before {
+    content:    "Constraint";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #00f;
+    background: #fff;
+    padding:    3px 1em;
+}
+
 .constraint {
     padding:    1em;
     margin: 1em 0em 0em;
@@ -63,6 +82,17 @@
     background: #fff;
 }
 
+.constraint[id]::before {
+    content:    "Constraint: " attr(id);
+    display:    block;
+    width:  300px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #00f;
+    background: #fff;
+    padding:    3px 1em;
+}
+
 
 .constraint::before {
     content:    "Constraint";
@@ -75,27 +105,7 @@
     padding:    3px 1em;
 }
 
-.namedconstraint {
-    padding:    1em;
-    margin: 1em 0em 0em;
-    border: 1px solid #00f;
-    background: #fff;
-}
-
-.cname::before {
-    content:    "Constraint: ";
-}
-
-.cname {
-    font-weight:    bold;
-    display:    block;
-    width:  300px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #00f;
-    background: #fff;
-    padding:    3px 1em;
-}
 
 
 
+