--- a/model/ProvenanceModel.html	Tue Sep 06 01:01:44 2011 +0100
+++ b/model/ProvenanceModel.html	Tue Sep 06 01:24:40 2011 +0100
@@ -906,7 +906,7 @@
 </pre>
 </p>
 
-<div class='constraint' id='wasComplementOf-necessary'>
+<div class='constraint' id='wasComplementOf-necessary-cond'>
  <a name="PIL:0013">An assertion "wasComplementOf(B,A)" holds over the temporal intersection of A and B, <span class='conditional'>only if</span>: 
 <ol>
 <li> if a mapping can be established from an attribute X of B to an attribute Y of A, then the values of A and B must be consistent with that mapping</em>  </li>

--- a/model/extra.css	Tue Sep 06 01:01:44 2011 +0100
+++ b/model/extra.css	Tue Sep 06 01:24:40 2011 +0100
@@ -86,13 +86,7 @@
 
 .constraint[id]::before {
     content:    "Constraint: " attr(id);
-    display:    block;
-    width:  380px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #00f;
-    background: #fff;
-    padding:    3px 1em;
+    width:  380px;  /* How can we compute the length of "Constraint: " attr(id) */
 }