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: white;
 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: white;
 209   border-top: 1px solid #C3D9FF;
 210   border-left: 1px solid #C3D9FF;
 211   border-right: 1px solid #C3D9FF;
 212   border-bottom: 1px solid #C3D9FF;
 213   width: 100%;
 214   padding: 0.3em;
 215   padding-right: 32px;
 216   cursor: pointer;
 217   cursor: hand;
 218 }
 219
 220 .ks-List .ks-SinkItem-selected {
 221   background-color: #C3D9FF;
 222   font-weight: bold;
 223 }
 224
 225 .ks-images-Image {
 226   margin: 8px;
 227 }
 228
 229 .ks-images-Button {
 230   margin: 8px;
 231   cursor: pointer;
 232   cursor: hand;
 233 }
 234
 235 .ks-layouts {
 236   padding: 8px;
 237   width: 100%;
 238   height: 100%;
 239 }
 240
 241 .ks-layouts-Label {
 242   background-color: #C3D9FF;
 243   font-weight: bold;
 244   margin-top: 1em;
 245   padding: 2px 0px 2px 0px;
 246   width: 100%;
 247 }
 248
 249 .ks-layouts-Scroller {
 250   height: 128px;
 251   border: 2px solid #C3D9FF;
 252   padding: 8px;
 253   margin: 8px;
 254 }
 255
 256 .ks-popups-Popup {
 257   background-color: white;
 258   border: 1px solid #87B3FF;
 259   padding: 4px;
 260 }
 261
 262 .infoProse {
 263   padding: 8px;
 264 }
 265
 266 /******************************************************
 267 *                                               DisclosurePanel
 268 ******************************************************/
 269 .gwt-DisclosurePanel
 270 {
 271         background-color                        :       #ddf;
 272         border                                          :       1px solid #009;
 273 }
 274 .gwt-DisclosurePanel .header
 275 {
 276         font-size                                       :       70%;
 277         cursor                                          :       pointer;
 278         cursor                                          :       hand;
 279 }
 280 .gwt-DisclosurePanel-closed
 281 {
 282 }
 283 .gwt-DisclosurePanel-closed .header
 284 {
 285 }
 286 .gwt-DisclosurePanel-open
 287 {
 288 }
 289 .gwt-DisclosurePanel-open .header
 290 {
 291 }
 292 .gwt-DisclosurePanel-open .content
 293 {
 294 }
 295
 296 .gwt-HorizontalSplitPanel {
 297 }
 298
 299 .gwt-HorizontalSplitPanel .hsplitter {
 300     cursor: move;
 301     border: 0px;
 302     background: #91c0ef url(images/vborder.png) repeat-x;
 303 }
 304
 305 .gwt-VerticalSplitPanel {
 306 }
 307
 308 .gwt-VerticalSplitPanel .vsplitter {
 309     cursor: move;
 310     border: 0px;
 311     background: #91c0ef url(images/hborder.png) repeat-x;
 312 }