From b02df18616a562a6907c9c40a8b9f26abd85ea1e Mon Sep 17 00:00:00 2001
From: Jez Ng <jezreel@gmail.com>
Date: Thu, 26 Jul 2012 02:06:01 -0700
Subject: [PATCH] Fix HUD font size.

---
 vimium.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vimium.css b/vimium.css
index 82f63a119..70238b4ef 100644
--- a/vimium.css
+++ b/vimium.css
@@ -214,6 +214,7 @@ div.vimiumHUD {
   border: 1px solid #b3b3b3;
   border-radius: 4px 4px 0 0;
   font-family: "Lucida Grande", "Arial", "Sans";
+  font-size: 12px;
   /* One less than vimium's hint markers, so link hints can be shown e.g. for the panel's close button. */
   z-index: 99999997;
   text-shadow: 0px 1px 2px #FFF;