From bc040501260cf50efb4a8b47a92483b2d78f66bb Mon Sep 17 00:00:00 2001
From: Jonas Fonseca <fonseca@diku.dk>
Date: Mon, 9 Jan 2006 16:50:27 +0100
Subject: [PATCH] Fix typo (cherry picked from commit
 c80806394614861c22de7be986187d393d43b73f)

---
 contrib/user.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/user.css b/contrib/user.css
index d1bf0e88..2e37c57e 100644
--- a/contrib/user.css
+++ b/contrib/user.css
@@ -39,7 +39,7 @@ h1 {
 	color: lightgoldenrod !important;
 }
 
-/* The following specifies colors used in the HTML highligting. */
+/* The following specifies colors used in the HTML highlighting. */
 document	 { color: yellow }
 element		 { color: lightgreen }
 entity-reference { color: red }