From 0e925eb8f18c0f91dbba8d88d15745467216d2b5 Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Thu, 19 Dec 2013 00:55:43 +0100
Subject: [PATCH] Use relative font size for hint labels.
---
src/hints.js | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/hints.js b/src/hints.js
index 5ba0b4d..4b06b23 100644
--- a/src/hints.js
+++ b/src/hints.js
@@ -19,9 +19,7 @@ var VbHint = (function(){
"-webkit-transform:translate(-4px,-4px);" +
"position:absolute;" +
"z-index:100000;" +
- "font-family:monospace;" +
- "font-weight:bold;" +
- "font-size:10px;" +
+ "font:bold\x20.8em\x20monospace;" +
"color:#000;" +
"background-color:#fff;" +
"margin:0;" +
--
2.20.1