body {
  background: url(bg.png) repeat-x;
  background-color: rgb(216, 220, 224);
  color: black;
  margin: 8px;
  margin-top: 3px;
}

body, table {
  font-family: Helvetica Neue Light, Helvetica, Arial, sans-serif; */
  font-weight: light;
  font-size: small;
}

tr.selected {
  background-color: rgb(56, 117, 215);
}

tr.evenRow {
  background-color: rgb(255, 255, 255);
}

tr.oddRow {
  background-color: rgb(220, 220, 220);
}

div.gwt-sstree-column {
  overflow-y: scroll;
  overflow-x: auto;
  position: relative;
}

div.gwt-sstree {
}

div.gwt-sstree-selectedItem {
  background-color: rgb(56, 117, 215);
}

div.gwt-sstree-evenRow {
  background-color: rgb(255, 255, 255);
}

div.gwt-sstree-oddRow {
  background-color: rgb(220, 220, 220);
}

/** Example rules used by the template application (remove for your app) */
h1 {
  font-size: 2em;
  font-weight: bold;
  color: #777777;
  margin: 40px 0px 70px;
  text-align: center;
}

.sendButton {
  display: block;
  font-size: 16pt;
}

/** Most GWT widgets already have a style name defined */
.gwt-DialogBox {
  width: 400px;
}

.dialogVPanel {
  margin: 5px;
}

.serverResponseLabelError {
  color: red;
}

.playerScoreBox {
  border: 1px solid #777;
  padding:3px;
  background: #eee;
  margin-bottom: 5px;
}

/** Set ids using widget.getElement().setId("idOfElement") */
#closeButton {
  margin: 15px 6px 6px;
}

.gwt-DialogBox {
  border: 8px solid white;
  border-right: 11px solid white;
  border-bottom: 11px solid white;
  -webkit-border-image: url(blueborder.png) 8 11 11 8 round round;
  -moz-border-image: url(blueborder.png) 8 11 11 8 round round;
}

.gwt-DialogBox .Caption {
  font-weight: light;
  font-size: 12pt;
  text-align: center;
  margin-bottom: 0.5em;
  border-bottom: 1px solid #ccc;
}

.gwt-SplitLayoutPanel-HDragger {
  background: transparent url(hsplitter-grip.png) center center no-repeat;
}

.gwt-SplitLayoutPanel-VDragger {
  background: transparent url(vsplitter-grip.png) center center no-repeat;
}

/* Date picker */

.gwt-DatePicker {
  border: 1px solid #A2BBDD;
  cursor: default;
}
.gwt-DatePicker td,
.datePickerMonthSelector td:focus {
  outline: none
}
.datePickerDays {
  width: 100%;
  background: white;
}
.datePickerDay,
.datePickerWeekdayLabel,
.datePickerWeekendLabel {
  font-size: 75%;
  text-align: center;
  padding: 4px;
  outline: none;
}
.datePickerWeekdayLabel,
.datePickerWeekendLabel {
  background: #C3D9FF;
  padding: 0px 4px 2px;
  cursor: default;
}
.datePickerDay {
  padding: 4px;
  cursor: hand;
  cursor: pointer;
}
.datePickerDayIsToday {
  border: 1px solid black;
  padding: 3px;
}
.datePickerDayIsWeekend {
  background: #EEEEEE;
}
.datePickerDayIsFiller {
  color: #888888;
}
.datePickerDayIsValue {
  background: #aaccee;
}
.datePickerDayIsDisabled {
  color: #AAAAAA;
  font-style: italic;
}
.datePickerDayIsHighlighted {
  background: #F0E68C;
}
.datePickerDayIsValueAndHighlighted {
  background: #bbddd9;
}
.datePickerMonthSelector {
  background: #C3D9FF;
  width: 100%;
}
td.datePickerMonth {
  text-align: center;
  vertical-align: center;
  white-space: nowrap;
  font-size: 70%;
  font-weight: bold;
  color: blue;
}
.datePickerPreviousButton,
.datePickerNextButton {
  font-size: 120%;
  line-height: 1em;
  color: blue;
  cursor: hand;
  cursor: pointer;
  padding: 0px 4px;
}