From 4b04c384f5e6774e066650873c3f07f3a032dabf Mon Sep 17 00:00:00 2001
From: Robert Kaiser <kairo@kairo.at>
Date: Sat, 2 Mar 2013 23:10:40 +0100
Subject: [PATCH] use a border instead of a margin and clip the background to
 the padding box so that the not-completely-well-designed tab animations of
 Firefox work more smoothly

---
 LCARStrek/global/tabbox.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/LCARStrek/global/tabbox.css b/LCARStrek/global/tabbox.css
index 32f56e31..a35fcc2b 100644
--- a/LCARStrek/global/tabbox.css
+++ b/LCARStrek/global/tabbox.css
@@ -35,11 +35,12 @@ tabpanels {
 tab {
   border-radius: 8px 8px 0px 0px;
   margin-top: 2px;
-  -moz-margin-end: 2px;
+  -moz-border-end: 2px solid transparent;
   border-bottom: none;
   padding: 2px 4px 1px;
   background-color: #C09070;
   color: #000000;
+  background-clip: padding-box;
 }
 
 .tab-text {
-- 
2.43.0