From 5c09389edc2aacd571e9417b1fcbc9efa30dba80 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 25 Mar 2013 07:12:53 +0100
Subject: [PATCH] tabs don't get outlined

---
 plugins/tabs/tabs.css | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/plugins/tabs/tabs.css b/plugins/tabs/tabs.css
index 49b37431..3dc765a9 100644
--- a/plugins/tabs/tabs.css
+++ b/plugins/tabs/tabs.css
@@ -1,5 +1,5 @@
 div.Tabs {
-    border-style: solid; 
-    border-color: #aaa;
-    padding: 20px;
+/*    border-style: solid; 
+   border-color: #aaa; */
+    padding: 10px;
 }
-- 
2.43.0