[patch] patch that fixes this.

mc.patch (text/plain), 568 bytes, created by Raymond Jennings on 2015-03-12 02:25:39 UTC

--- html.syntax.old	2015-03-11 19:23:02.027964941 -0700
+++ html.syntax	2015-03-11 19:23:43.307963723 -0700
@@ -52,6 +52,7 @@
     keyword </SMALL> brightcyan/17
     keyword </SCRIPT> brightcyan/17
     keyword </META> brightcyan/17
+    keyword </OL> brightcyan/17
     keyword </P> brightcyan/17
     keyword </TABLE> brightcyan/17
     keyword </TD> brightcyan/17
@@ -59,6 +60,7 @@
     keyword </TR> brightcyan/17
     keyword </TT> brightcyan/17
     keyword </U> brightcyan/17
+    keyword </UL> brightcyan/17
 
 
 context <A >                    brightcyan/17