public/SfaGUI.css

   1 body {
   2   background-color: white;
   3   color: black;
   4   font-family: Arial, sans-serif;
   5   font-size: smaller;
   6   margin: 20px 20px 20px 20px;
   7 }
   8
   9 code {
  10   font-size: small;
  11 }
  12
  13 a {
  14   color: darkblue;
  15 }
  16
  17 a:visited {
  18   color: darkblue;
  19 }
  20
  21 .gwt-BorderedPanel {
  22 }
  23
  24 .gwt-Button {
  25 }
  26
  27 .gwt-Canvas {
  28 }
  29
  30 .gwt-CheckBox {
  31   font-size: smaller;
  32 }
  33
  34 .gwt-DialogBox {
  35   sborder: 8px solid #C3D9FF;
  36   border: 2px outset;
  37   background-color: white;
  38 }
  39
  40 .gwt-DialogBox .Caption {
  41   background-color: #C3D9FF;
  42   padding: 3px;
  43   margin: 2px;
  44   font-weight: bold;
  45   cursor: default;
  46 }
  47
  48 .gwt-FileUpload {
  49 }
  50
  51 .gwt-Frame {
  52 }
  53
  54 .gwt-HorizontalSplitter .Bar {
  55   width: 8px;
  56   background-color: #C3D9FF;
  57 }
  58
  59 .gwt-VerticalSplitter .Bar {
  60   height: 8px;
  61   background-color: #C3D9FF;
  62 }
  63
  64 .gwt-HTML {
  65   font-size: smaller;
  66 }
  67
  68 .gwt-Hyperlink {
  69 }
  70
  71 .gwt-Image {
  72 }
  73
  74 .gwt-Label {
  75   font-size: smaller;
  76 }
  77
  78 .gwt-ListBox {
  79 }
  80
  81 .gwt-MenuBar {
  82   background-color: #C3D9FF;
  83   border: 1px solid #87B3FF;
  84   cursor: default;
  85 }
  86
  87 .gwt-MenuBar .gwt-MenuItem {
  88   padding: 1px 4px 1px 4px;
  89   font-size: smaller;
  90   cursor: default;
  91 }
  92
  93 .gwt-MenuBar .gwt-MenuItem-selected {
  94   background-color: #E8EEF7;
  95 }
  96
  97 .gwt-PasswordTextBox {
  98 }
  99
 100 .gwt-RadioButton {
 101   font-size: smaller;
 102 }
 103
 104 .gwt-TabPanel {
 105 }
 106
 107 .gwt-TabPanelBottom {
 108   border-left: 1px solid #87B3FF;
 109 }
 110
 111 .gwt-TabBar {
 112   background-color: #C3D9FF;
 113 /*  font-size: smaller; */
 114 }
 115
 116 .gwt-TabBar .gwt-TabBarFirst {
 117   height: 100%;
 118   border-bottom: 1px solid #87B3FF;
 119   padding-left: 3px;
 120 }
 121
 122 .gwt-TabBar .gwt-TabBarRest {
 123   border-bottom: 1px solid #87B3FF;
 124   padding-right: 3px;
 125 }
 126
 127 .gwt-TabBar .gwt-TabBarItem {
 128   background-color: #d2d8e0;
 129   border-top: 1px solid #87B3FF;
 130   border-left: 1px solid #87B3FF;
 131   border-right: 1px solid #87B3FF;
 132   border-bottom: 1px solid #87B3FF;
 133   padding: 2px;
 134   padding-left: 8px;
 135   padding-right: 8px;
 136   margin-left: 1px;
 137   margin-right: 1px;
 138   cursor: pointer;
 139   cursor: hand;
 140 }
 141
 142 .gwt-TabBar .gwt-TabBarItem-selected {
 143   background-color: #E8EEF7;
 144   font-weight: bold;
 145   border-top: 1px solid #87B3FF;
 146   border-left: 1px solid #87B3FF;
 147   border-right: 1px solid #87B3FF;
 148   border-bottom: 1px solid #E8EEF7;
 149   padding: 2px;
 150   padding-left: 8px;
 151   padding-right: 8px;
 152   margin-left: 1px;
 153   margin-right: 1px;
 154   cursor: default;
 155 }
 156
 157 .gwt-TextArea {
 158 }
 159
 160 .gwt-TextBox {
 161 }
 162
 163 .gwt-Tree {
 164     padding: 8px;
 165 }
 166
 167 .gwt-Tree .gwt-TreeItem {
 168   font-size: smaller;
 169 }
 170
 171 .gwt-Tree .gwt-TreeItem-selected {
 172   background-color: #C3D9FF;
 173 }
 174
 175 .gwt-StackPanel {
 176 }
 177
 178 .gwt-StackPanel .gwt-StackPanelItem {
 179   background-color: #C3D9FF;
 180   cursor: pointer;
 181   cursor: hand;
 182 }
 183
 184 .gwt-StackPanel .gwt-StackPanelItem-selected {
 185 }
 186
 187 /* -------------------------------------------------------------------------- */
 188 .ks-Sink {
 189   border: 8px solid #C3D9FF;
 190   background-color: #E8EEF7;
 191   width: 100%;
 192   height: 24em;
 193 }
 194
 195 .ks-Info {
 196   background-color: #C3D9FF;
 197   padding: 10px 10px 2px 10px;
 198   font-weight: bold
 199 }
 200
 201 .ks-List {
 202   margin-top: 8px;
 203   margin-bottom: 8px;
 204   font-size: smaller;
 205 }
 206
 207 .ks-List .ks-SinkItem {
 208   background-color: #d2d8e0;
 209   width: 100%;
 210   padding: 0.3em;
 211   padding-right: 32px;
 212   cursor: pointer;
 213   cursor: hand;
 214 }
 215
 216 .ks-List .ks-SinkItem-selected {
 217   background-color: #C3D9FF;
 218 }
 219
 220 .ks-images-Image {
 221   margin: 8px;
 222 }
 223
 224 .ks-images-Button {
 225   margin: 8px;
 226   cursor: pointer;
 227   cursor: hand;
 228 }
 229
 230 .ks-layouts {
 231   padding: 8px;
 232   width: 100%;
 233   height: 100%;
 234 }
 235
 236 .ks-layouts-Label {
 237   background-color: #C3D9FF;
 238   font-weight: bold;
 239   margin-top: 1em;
 240   padding: 2px 0px 2px 0px;
 241   width: 100%;
 242 }
 243
 244 .ks-layouts-Scroller {
 245   height: 128px;
 246   border: 2px solid #C3D9FF;
 247   padding: 8px;
 248   margin: 8px;
 249 }
 250
 251 .ks-popups-Popup {
 252   background-color: white;
 253   border: 1px solid #87B3FF;
 254   padding: 4px;
 255 }
 256
 257 .infoProse {
 258   padding: 8px;
 259 }
 260
 261 /******************************************************
 262 *                                               DisclosurePanel
 263 ******************************************************/
 264 .gwt-DisclosurePanel
 265 {
 266         background-color                        :       #ddf;
 267         border                                          :       1px solid #009;
 268 }
 269 .gwt-DisclosurePanel .header
 270 {
 271         font-size                                       :       70%;
 272         cursor                                          :       pointer;
 273         cursor                                          :       hand;
 274 }
 275 .gwt-DisclosurePanel-closed
 276 {
 277 }
 278 .gwt-DisclosurePanel-closed .header
 279 {
 280 }
 281 .gwt-DisclosurePanel-open
 282 {
 283 }
 284 .gwt-DisclosurePanel-open .header
 285 {
 286 }
 287 .gwt-DisclosurePanel-open .content
 288 {
 289 }
 290
 291 .gwt-HorizontalSplitPanel {
 292 }
 293
 294 .gwt-HorizontalSplitPanel .hsplitter {
 295     cursor: move;
 296     border: 0px;
 297     background: #91c0ef url(images/vborder.png) repeat-x;
 298 }
 299
 300 .gwt-VerticalSplitPanel {
 301 }
 302
 303 .gwt-VerticalSplitPanel .vsplitter {
 304     cursor: move;
 305     border: 0px;
 306     background: #91c0ef url(images/hborder.png) repeat-x;
 307 }