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   border-top: 1px solid #C3D9FF;
 129   border-bottom: 1px solid #87B3FF;
 130   padding: 2px;
 131   cursor: pointer;
 132   cursor: hand;
 133 }
 134
 135 .gwt-TabBar .gwt-TabBarItem-selected {
 136   font-weight: bold;
 137   background-color: #E8EEF7;
 138   border-top: 1px solid #87B3FF;
 139   border-left: 1px solid #87B3FF;
 140   border-right: 1px solid #87B3FF;
 141   border-bottom: 1px solid #E8EEF7;
 142   padding: 2px;
 143   cursor: default;
 144 }
 145
 146 .gwt-TextArea {
 147 }
 148
 149 .gwt-TextBox {
 150 }
 151
 152 .gwt-Tree {
 153 }
 154
 155 .gwt-Tree .gwt-TreeItem {
 156   font-size: smaller;
 157 }
 158
 159 .gwt-Tree .gwt-TreeItem-selected {
 160   background-color: #C3D9FF;
 161 }
 162
 163 .gwt-StackPanel {
 164 }
 165
 166 .gwt-StackPanel .gwt-StackPanelItem {
 167   background-color: #C3D9FF;
 168   cursor: pointer;
 169   cursor: hand;
 170 }
 171
 172 .gwt-StackPanel .gwt-StackPanelItem-selected {
 173 }
 174
 175 /* -------------------------------------------------------------------------- */
 176 .ks-Sink {
 177   border: 8px solid #C3D9FF;
 178   background-color: #E8EEF7;
 179   width: 100%;
 180   height: 24em;
 181 }
 182
 183 .ks-Info {
 184   background-color: #C3D9FF;
 185   padding: 10px 10px 2px 10px;
 186   font-weight: bold
 187 }
 188
 189 .ks-List {
 190   margin-top: 8px;
 191   margin-bottom: 8px;
 192   font-size: smaller;
 193 }
 194
 195 .ks-List .ks-SinkItem {
 196   width: 100%;
 197   padding: 0.3em;
 198   padding-right: 16px;
 199   cursor: pointer;
 200   cursor: hand;
 201 }
 202
 203 .ks-List .ks-SinkItem-selected {
 204   background-color: #C3D9FF;
 205 }
 206
 207 .ks-images-Image {
 208   margin: 8px;
 209 }
 210
 211 .ks-images-Button {
 212   margin: 8px;
 213   cursor: pointer;
 214   cursor: hand;
 215 }
 216
 217 .ks-layouts {
 218   margin: 8px;
 219 }
 220
 221 .ks-layouts-Label {
 222   background-color: #C3D9FF;
 223   font-weight: bold;
 224   margin-top: 1em;
 225   padding: 2px 0px 2px 0px;
 226   width: 100%;
 227 }
 228
 229 .ks-layouts-Scroller {
 230   height: 128px;
 231   border: 2px solid #C3D9FF;
 232   padding: 8px;
 233   margin: 8px;
 234 }
 235
 236 .ks-popups-Popup {
 237   background-color: white;
 238   border: 1px solid #87B3FF;
 239   padding: 4px;
 240 }
 241
 242 .infoProse {
 243   margin: 8px;
 244 }
 245
 246 /******************************************************
 247 *                                               DisclosurePanel
 248 ******************************************************/
 249 .gwt-DisclosurePanel
 250 {
 251         background-color                        :       #ddf;
 252         border                                          :       1px solid #009;
 253 }
 254 .gwt-DisclosurePanel .header
 255 {
 256         font-size                                       :       70%;
 257         cursor                                          :       pointer;
 258         cursor                                          :       hand;
 259 }
 260 .gwt-DisclosurePanel-closed
 261 {
 262 }
 263 .gwt-DisclosurePanel-closed .header
 264 {
 265 }
 266 .gwt-DisclosurePanel-open
 267 {
 268 }
 269 .gwt-DisclosurePanel-open .header
 270 {
 271 }
 272 .gwt-DisclosurePanel-open .content
 273 {
 274 }
 275
 276 .gwt-HorizontalSplitPanel {
 277 }
 278
 279 .gwt-HorizontalSplitPanel .hsplitter {
 280     cursor: move;
 281     border: 0px;
 282     background: #91c0ef url(images/vborder.png) repeat-x;
 283 }
 284
 285 .gwt-VerticalSplitPanel {
 286 }
 287
 288 .gwt-VerticalSplitPanel .vsplitter {
 289     cursor: move;
 290     border: 0px;
 291     background: #91c0ef url(images/hborder.png) repeat-x;
 292 }