--- a/rdf-mt/index.html Fri Mar 08 20:15:50 2013 -0600
+++ b/rdf-mt/index.html Fri Mar 08 20:21:15 2013 -0600
@@ -511,6 +511,16 @@
pre.sh_sourceCode .sh_paren { color: red; }
pre.sh_sourceCode .sh_attribute { color: #006400; }
+code {font-family: monospace }
+
+.RFC2119 { font-size: small; font-weight: bolder; }
+.newstuff { }
+.newerstuff { }
+.semantictable {background-color: #FFFFAA}
+.ruletable {background-color: #DDDDFF}
+.othertable {background-color: #FDFDFD}
+
+
</style>
<link rel="stylesheet" type="text/css"