--- a/model/prov-n.html	Tue Nov 20 22:48:27 2012 +0000
+++ b/model/prov-n.html	Tue Nov 20 23:04:52 2012 +0000
@@ -31,9 +31,6 @@
 	border-color: gray;
 }
 
-code {
-    color:  black;
-}
 </style>
 
     <script src="grammar/ll.js" class="remove"></script>
@@ -238,6 +235,7 @@
           // if you want to have extra CSS, append them to this list
           // it is recommended that the respec.css stylesheet be kept
           //extraCSS:             ["http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css"],
+          //noReSpecCSS="true",
  
           // editors, add as many as you like
           // only "name" is required
@@ -1219,7 +1217,7 @@
 
 
 code {
-    color:  black;
+    color:  black !important;
 }
 
 .ruleTitle {