fixed slight css bugs
authorPat Hayes <phayes@ihmc.us>
Fri, 08 Mar 2013 20:21:15 -0600
changeset 631 4083e6014d9e
parent 630 391c05b9df86
child 632 947a3cf48e2b
fixed slight css bugs
rdf-mt/index.html
--- 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"