For pattern synonyms, render "pattern" as a keyword

2 files changed, 30 insertions, 10 deletions

diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index dc06e3b5..b076206d 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -90,7 +90,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
 	      ></ul
 	    ></li
 	  ><li class="src short"
-	  >pattern  <a href=""
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a href=""
 	    >(:+)</a
 	    > ::   t -&gt; t -&gt; [t]</li
 	  ><li class="src short"
@@ -266,7 +268,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern  <a name="v::-43-" class="def"
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a name="v::-43-" class="def"
 	    >(:+)</a
 	    > ::   t -&gt; t -&gt; [t] <span class="fixity"
 	    >infixr 3</span
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index f5842d79..00861b39 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -62,13 +62,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	    >FooCtor</a
 	    > x</li
 	  ><li class="src short"
-	  >pattern <a href=""
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a href=""
 	    >Foo</a
 	    > ::   t -&gt; <a href=""
 	    >FooType</a
 	    > t</li
 	  ><li class="src short"
-	  >pattern <a href=""
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a href=""
 	    >Bar</a
 	    > ::   t -&gt; <a href=""
 	    >FooType</a
@@ -76,7 +80,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	    >FooType</a
 	    > t)</li
 	  ><li class="src short"
-	  >pattern <a href=""
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a href=""
 	    >(:&lt;-&gt;)</a
 	    > ::   t -&gt; t -&gt; (<a href=""
 	    >FooType</a
@@ -94,7 +100,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	    >Empty</a
 	    ></li
 	  ><li class="src short"
-	  >pattern <a href=""
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a href=""
 	    >E</a
 	    > ::   <a href=""
 	    >(&gt;&lt;)</a
@@ -132,7 +140,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern <a name="v:Foo" class="def"
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a name="v:Foo" class="def"
 	    >Foo</a
 	    > ::   t -&gt; <a href=""
 	    >FooType</a
@@ -148,7 +158,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern <a name="v:Bar" class="def"
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a name="v:Bar" class="def"
 	    >Bar</a
 	    > ::   t -&gt; <a href=""
 	    >FooType</a
@@ -166,7 +178,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern <a name="v::-60--45--62-" class="def"
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a name="v::-60--45--62-" class="def"
 	    >(:&lt;-&gt;)</a
 	    > ::   t -&gt; t -&gt; (<a href=""
 	    >FooType</a
@@ -214,7 +228,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern <a name="v:E" class="def"
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a name="v:E" class="def"
 	    >E</a
 	    > ::   <a href=""
 	    >(&gt;&lt;)</a