Tweaks

[sfa-gui.git] / public / SfaGUI.css

diff --git a/public/SfaGUI.css b/public/SfaGUI.css
index 5c3f69c..9994267 100644 (file)
--- a/public/SfaGUI.css
+++ b/public/SfaGUI.css
@@ -32,13 +32,13 @@ a:visited {
 }
 
 .gwt-DialogBox {
-  sborder: 8px solid #C3D9FF;
+  sborder: 8px solid darkgray;
   border: 2px outset;
   background-color: white;
 }
 
 .gwt-DialogBox .Caption {
-  background-color: #C3D9FF;
+  background-color: darkgray;
   padding: 3px;
   margin: 2px;
   font-weight: bold;
@@ -53,12 +53,12 @@ a:visited {
 
 .gwt-HorizontalSplitter .Bar {
   width: 8px;
-  background-color: #C3D9FF;
+  background-color: darkgray;
 }
 
 .gwt-VerticalSplitter .Bar {
   height: 8px;
-  background-color: #C3D9FF;
+  background-color: darkgray;
 }
 
 .gwt-HTML {
@@ -79,8 +79,8 @@ a:visited {
 }
 
 .gwt-MenuBar {
-  background-color: #C3D9FF;
-  border: 1px solid #87B3FF;
+  background-color: darkgray;
+  border: 1px solid gray;
   cursor: default;
 }
 
@@ -105,41 +105,52 @@ a:visited {
 }
 
 .gwt-TabPanelBottom {
-  border-left: 1px solid #87B3FF;
+  border-left: 1px solid gray;
 }
 
 .gwt-TabBar {
-  background-color: #C3D9FF;
-  font-size: smaller;
+  background-color: darkgray;
+/*  font-size: smaller; */
 }
 
 .gwt-TabBar .gwt-TabBarFirst {
   height: 100%;
-  border-bottom: 1px solid #87B3FF;
+  border-bottom: 1px solid gray;
   padding-left: 3px;
 }
 
 .gwt-TabBar .gwt-TabBarRest {
-  border-bottom: 1px solid #87B3FF;
+  border-bottom: 1px solid gray;
   padding-right: 3px;
 }
 
 .gwt-TabBar .gwt-TabBarItem {
-  border-top: 1px solid #C3D9FF;
-  border-bottom: 1px solid #87B3FF;
+  background-color: silver;
+  border-top: 1px solid gray;
+  border-left: 1px solid gray;
+  border-right: 1px solid gray;
+  border-bottom: 1px solid gray;
   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;
-  border-top: 1px solid #87B3FF;
-  border-left: 1px solid #87B3FF;
-  border-right: 1px solid #87B3FF;
+  font-weight: bold;
+  border-top: 1px solid gray;
+  border-left: 1px solid gray;
+  border-right: 1px solid gray;
   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 {
@@ -157,14 +169,14 @@ a:visited {
 }
 
 .gwt-Tree .gwt-TreeItem-selected {
-  background-color: #C3D9FF;
+  background-color: darkgray;
 }
 
 .gwt-StackPanel {
 }
 
 .gwt-StackPanel .gwt-StackPanelItem {
-  background-color: #C3D9FF;
+  background-color: darkgray;
   cursor: pointer;
   cursor: hand;
 }
@@ -174,34 +186,40 @@ a:visited {
 
 /* -------------------------------------------------------------------------- */
 .ks-Sink {
-  border: 8px solid #C3D9FF;
+  border: 8px solid darkgray;
   background-color: #E8EEF7;
   width: 100%;
   height: 24em;
-}
+} 
 
 .ks-Info {
-  background-color: #C3D9FF;
+  background-color: darkgray;
   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 darkgray;
+  border-left: 1px solid darkgray;
+  border-right: 1px solid darkgray;
+  border-bottom: 1px solid darkgray;
   width: 100%;
   padding: 0.3em;
-  padding-right: 16px;
+  padding-right: 32px;
   cursor: pointer;
   cursor: hand;
 }
 
 .ks-List .ks-SinkItem-selected {
-  background-color: #C3D9FF;
+  background-color: darkgray;
+  font-weight: bold;
 }
 
 .ks-images-Image {
@@ -215,11 +233,13 @@ a:visited {
 }
 
 .ks-layouts {
-  margin: 8px;
+  padding: 8px;
+  width: 100%;
+  height: 100%;
 }
 
 .ks-layouts-Label {
-  background-color: #C3D9FF;
+  background-color: darkgray;
   font-weight: bold;
   margin-top: 1em;
   padding: 2px 0px 2px 0px;
@@ -228,19 +248,19 @@ a:visited {
 
 .ks-layouts-Scroller {
   height: 128px;
-  border: 2px solid #C3D9FF;
+  border: 2px solid darkgray;
   padding: 8px;
   margin: 8px;
 }
 
 .ks-popups-Popup {
   background-color: white;
-  border: 1px solid #87B3FF;
+  border: 1px solid gray;
   padding: 4px;
 }
 
 .infoProse {
-  margin: 8px;
+  padding: 8px;
 }
 
 /******************************************************