Use zero-width space character instead of a font-size: 0px space.

The latter method did not seem to work with DejaVu Sans -- spaces were
still of nonzero width.

1 files changed, 2 insertions, 2 deletions

diff --git a/vimiumFrontend.js b/vimiumFrontend.js
index 84ec5c43..f7ebedfa 100644
--- a/vimiumFrontend.js
+++ b/vimiumFrontend.js
@@ -708,8 +708,8 @@ function insertSpaces(query) {
   {
     if (query[i] == " " || (i + 1 < query.length && query[i + 1] == " "))
       newQuery = newQuery + query[i];
-    else
-      newQuery = newQuery + query[i] + "<span style=\"font-size: 0px;\"> </span>";
+    else //  &#8203; is a zero-width space
+      newQuery = newQuery + query[i] + "<span>&#8203;</span>";
   }
 
   return newQuery;