blob: de7f1b6d115224ae6456219bcd8239085533cd75 [file] [log] [blame]
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);
}
tr.hover {
background-color: rgb(255, 0, 0);
}
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;
}