view DOCS/default.css @ 35357:80fe9ad7f318

Pass guiApp's wsTWindow parameters always by reference (if possible). (This isn't possible for wsSetIcon(), wsSetLayer() and wsRaiseWindowTop() by the way, because these need to be called with a GDK window ID information.)

body,table {
  font-family : Arial, Helvetica, sans-serif;
  font-size   : 14px;
  background  : white;
}