alternate stylesheet for jtageditor
authorJan Michel <j.michel@gsi.de>
Sun, 4 Aug 2013 14:31:23 +0000 (16:31 +0200)
committerJan Michel <j.michel@gsi.de>
Sun, 4 Aug 2013 14:31:23 +0000 (16:31 +0200)
layout/jtageditor_blue.css

index 7b6e503bf117d935e0a3c13123b2d5dd07027b08..08f28c039096bfdf2f6f6d28296adc3781431018 100644 (file)
@@ -56,10 +56,10 @@ input[type="text"]
     background-color:#dde;
     color:#444;
     font-size:10px;
-       height:20px;
-       width:90px;
-       text-align:right;
-       padding-right:5px;
+    height:20px;
+    width:90px;
+    text-align:right;
+    padding-right:5px;
     border:1px solid #78b;
     transition:background .4s;
 }
@@ -68,6 +68,7 @@ select {
     background:#dde;
     color:#444;
     border:1px solid #78b;
+    font-size:10px;
     transition:background .4s;
 }
 
@@ -81,6 +82,7 @@ background:#eed;
     height:25px;
     background:#dde;
     color:#444;
+    font-size:10px;
     border:1px solid #78b;
     margin:0 5px;
     padding:0 0 3px 0;