From aa5b9cf915f35d000826f8d3559cd63293865caa Mon Sep 17 00:00:00 2001
From: urkerab <urkerab@users.noreply.github.com>
Date: Tue, 29 Dec 2015 13:54:20 +0000
Subject: [PATCH] Avoid changing border width or padding on hover

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

diff --git a/style/client.css b/style/client.css
index d58f72ef4..fca3ea6d4 100644
--- a/style/client.css
+++ b/style/client.css
@@ -541,8 +541,8 @@ p.or:after {
 	font-size: 8pt;
 	font-family: Verdana, Helvetica, Arial, sans-serif;
 	margin: 0 0 0 6px;
-	padding: 3px 4px;
-	border: 0;
+	padding: 2px 3px;
+	border: 1px solid transparent;
 	border-radius: 2px;
 	background: transparent;
 	color: black;
@@ -566,25 +566,19 @@ p.or:after {
 }
 
 .popupmenu button.sel {
-	padding: 2px 3px;
-	border: 1px solid #AAAAAA;
+	border-color: #AAAAAA;
 	white-space: nowrap;
 	overflow: hidden;
 }
 .popupmenu button:hover,
 .popupmenu button.sel:hover {
-	padding: 2px 3px;
-	border: 1px solid #888888;
+	border-color: #888888;
 	background: #D5D5D5;
 }
 .popupmenu button.button {
 	margin: 2px auto 5px;
 	width: 184px;
 }
-.popupmenu button.button:hover,
-.popupmenu button.button.sel:hover {
-	padding: 3px 4px;
-}
 .select, .team {
 	cursor: pointer;
 	width: 230px;