From 9ec4adb126c3d63201a2c442610c02a259ed98fe Mon Sep 17 00:00:00 2001
From: Jan Michel <j.michel@gsi.de>
Date: Sun, 4 Aug 2013 17:13:15 +0200
Subject: [PATCH] alternate stylesheet for jtageditor - final

---
 layout/jtageditor_blue.css | 2 --
 1 file changed, 2 deletions(-)

diff --git a/layout/jtageditor_blue.css b/layout/jtageditor_blue.css
index 29eefda..f62e73b 100644
--- a/layout/jtageditor_blue.css
+++ b/layout/jtageditor_blue.css
@@ -68,7 +68,6 @@ select {
     background:#dde;
     color:#444;
     border:1px solid #78b;
-    font-size:10px;
     transition:background .4s;
 }
 
@@ -82,7 +81,6 @@ background:#eed;
     height:25px;
     background:#dde;
     color:#444;
-    font-size:10px;
     border:1px solid #78b;
     margin:0 5px;
     padding:0 0 3px 0;
-- 
2.43.0