--- a/model/extra.css	Mon Sep 03 14:33:11 2012 +0100
+++ b/model/extra.css	Mon Sep 03 15:14:57 2012 +0100
@@ -496,3 +496,26 @@
     background: #fff;
     padding:    3px 1em;
 }
+
+table.thinborder {
+	border-width: 1px;
+	border-spacing: 0px;
+	border-style: none;
+	border-color: gray;
+	border-collapse: collapse;
+}
+table.thinborder th {
+	border-width: 1px;
+	padding: 0px;
+	border-style: solid;
+	border-color: gray;
+	-moz-border-radius: ;
+}
+table.thinborder td {
+	border-width: 1px;
+	padding: 2px;
+	border-style: solid;
+	border-color: gray;
+	-moz-border-radius: ;
+}
+

--- a/model/prov-constraints.html	Mon Sep 03 14:33:11 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 15:14:57 2012 +0100
@@ -798,14 +798,16 @@
 </p>
 
 <div id="typing-table-fig">
-    <table id="typing-table" border="1"class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
+    <table id="typing-table" class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
 <caption id="typing-table-caption">Table 1: Summary of Typing Constraints</caption>
-<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
       <tr>
 	<th>In relation...</th>
 	<th>identifier</th>
 	<th>has type(s)...</th>
       </tr>
+
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
       <tr align="center" >
 	<td class="name">entity(e,attrs)</td>
 	<td class="name" align="center">e</td>
@@ -3761,7 +3763,7 @@
 <span class="conditional">IF</span> <span
   class="name">specializationOf(e1,e2)</span> and <span
  <span class="name">wasInvalidatedBy(inv1; e1,_a1,_t1,_attrs1)</span> and
-  <span class="name">wasInvalidatedBy(inv2; e2,_a2,_t2,_attrs2)</span>
+  class="name">wasInvalidatedBy(inv2; e2,_a2,_t2,_attrs2)</span>
   <span class="conditional">THEN</span> <span class="name">inv1</span> <a>precedes</a> <span class="name">inv2</span>.
 </p>
   </div>