UI tweaks
[sfa-gui.git] / public / SfaGUI.css
index 5c3f69c..32ad2a2 100644 (file)
@@ -110,7 +110,7 @@ a:visited {
 
 .gwt-TabBar {
   background-color: #C3D9FF;
-  font-size: smaller;
+/*  font-size: smaller; */
 }
 
 .gwt-TabBar .gwt-TabBarFirst {
@@ -125,21 +125,32 @@ a:visited {
 }
 
 .gwt-TabBar .gwt-TabBarItem {
-  border-top: 1px solid #C3D9FF;
+  background-color: white;
+  border-top: 1px solid #87B3FF;
+  border-left: 1px solid #87B3FF;
+  border-right: 1px solid #87B3FF;
   border-bottom: 1px solid #87B3FF;
   padding: 2px;
+  padding-left: 8px;
+  padding-right: 8px;
+  margin-left: 1px;
+  margin-right: 1px;
   cursor: pointer;
   cursor: hand;
 }
 
 .gwt-TabBar .gwt-TabBarItem-selected {
-  font-weight: bold;
   background-color: #E8EEF7;
+  font-weight: bold;
   border-top: 1px solid #87B3FF;
   border-left: 1px solid #87B3FF;
   border-right: 1px solid #87B3FF;
   border-bottom: 1px solid #E8EEF7;
   padding: 2px;
+  padding-left: 8px;
+  padding-right: 8px;
+  margin-left: 1px;
+  margin-right: 1px;
   cursor: default;
 }
 
@@ -150,6 +161,7 @@ a:visited {
 }
 
 .gwt-Tree {
+    padding: 8px;
 }
 
 .gwt-Tree .gwt-TreeItem {
@@ -183,25 +195,31 @@ a:visited {
 .ks-Info {
   background-color: #C3D9FF;
   padding: 10px 10px 2px 10px;
-  font-size: smaller;
+  font-weight: bold
 }
 
 .ks-List {
   margin-top: 8px;
   margin-bottom: 8px;
-  font-size: smaller;
+  font-size: smaller; 
 }
 
 .ks-List .ks-SinkItem {
+  background-color: white;
+  border-top: 1px solid #C3D9FF;
+  border-left: 1px solid #C3D9FF;
+  border-right: 1px solid #C3D9FF;
+  border-bottom: 1px solid #C3D9FF;
   width: 100%;
   padding: 0.3em;
-  padding-right: 16px;
+  padding-right: 32px;
   cursor: pointer;
   cursor: hand;
 }
 
 .ks-List .ks-SinkItem-selected {
   background-color: #C3D9FF;
+  font-weight: bold;
 }
 
 .ks-images-Image {
@@ -215,7 +233,9 @@ a:visited {
 }
 
 .ks-layouts {
-  margin: 8px;
+  padding: 8px;
+  width: 100%;
+  height: 100%;
 }
 
 .ks-layouts-Label {
@@ -240,7 +260,7 @@ a:visited {
 }
 
 .infoProse {
-  margin: 8px;
+  padding: 8px;
 }
 
 /******************************************************