--- a/rdf-mt/index.html Fri Mar 08 20:21:15 2013 -0600
+++ b/rdf-mt/index.html Fri Mar 08 20:24:11 2013 -0600
@@ -511,11 +511,12 @@
pre.sh_sourceCode .sh_paren { color: red; }
pre.sh_sourceCode .sh_attribute { color: #006400; }
-code {font-family: monospace }
+a.termref:visited, a.termref:link {font-family: sans-serif;
+ font-style: normal;
+ color: black;
+ text-decoration: none }
.RFC2119 { font-size: small; font-weight: bolder; }
-.newstuff { }
-.newerstuff { }
.semantictable {background-color: #FFFFAA}
.ruletable {background-color: #DDDDFF}
.othertable {background-color: #FDFDFD}