From e50061ee282979736d0a137e6fdd38a553f999e4 Mon Sep 17 00:00:00 2001
From: Brad Anderson <eco@gnuk.net>
Date: Fri, 23 Mar 2012 00:13:16 -0600
Subject: [PATCH] Shrink the size of the tool buttons

---
 css/style.css | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/css/style.css b/css/style.css
index 6703bcddcd..08575b980c 100644
--- a/css/style.css
+++ b/css/style.css
@@ -430,9 +430,9 @@ div#tools > a.button
 	display:inline-block;
 	color:#777777;
 	font-family:arial;
-	font-size:11px;
+	font-size:10px;
 	font-weight:bold;
-	padding:2px 12px;
+	padding:0px 6px;
 	text-decoration:none;
 	text-shadow:1px 1px 0px #ffffff;
 }
@@ -463,10 +463,10 @@ a.tip {
 a.tip span {
 	display: none;
 	position: absolute;
-	top: 35px;
-	left: -35px;
+	top: 25px;
+	left: -50px;
 	width: 200px;
-	padding: 10px !important;
+	padding: 8px !important;
 	z-index: 100;
 	background: #000;
 	color: #eee !important;