From 56420883ba227d5521d4b75279915fea7e0829b2 Mon Sep 17 00:00:00 2001
From: Martin Stubenschrott <stubenschrott@gmx.net>
Date: Sun, 17 Jun 2007 09:34:15 +0000
Subject: [PATCH] made default value in help monospace again

---
 chrome/content/vimperator/help.js | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/chrome/content/vimperator/help.js b/chrome/content/vimperator/help.js
index 60d146fe..cb8f6676 100644
--- a/chrome/content/vimperator/help.js
+++ b/chrome/content/vimperator/help.js
@@ -38,8 +38,6 @@ function help(section, easter)
     else
         openURLs("about:blank");
 
-// xxx: for firebug: :js Firebug.toggleBar(true)
-
     /* commands = array where help information is located
      * beg = string which is printed before the commmand/option/mapping name
      * end = string which is printed after the commmand/option/mapping name
@@ -113,7 +111,7 @@ function help(section, easter)
     function makeOptionsHelpString(command)
     {
         var ret = "";
-        ret = command.type + ' (default: <span style="font-family: monospace;">';
+        ret = command.type + ' (default: ">';
         if (command.type == "boolean")
         {
             if(command.default_value == true)
@@ -129,7 +127,7 @@ function help(section, easter)
                 ret += command.default_value;
         }
 
-        ret += "</span>)<br/>";
+        ret += ")<br/>";
         return ret;
     }