#user_content {
    margin-right: auto;
    margin-left: auto;
    width: 1280px;
    height: 100px;
    /*border: 1px solid green;*/
    border-bottom: 2px solid gray;
    margin-bottom: 5px;
    vertical-align: bottom;
}

#middle_container {
    margin-right: auto;
    margin-left: auto;
    width: 1280px;
    height: 520px;
}

#menu_container {
    width: 165px;
    height: 100%;
    /*border: 1px solid blue;*/
    float: left;
    margin-right: 5px;
}

#main_container {
    float: left;
    width: 1280px;
    /*border: 1px solid red;*/
    height: 100%;
}

.user_panel{
    padding: 10px;
}

.gwt-Tree .gwt-TreeItem {
    padding: 1px 0px;
    margin: 0px;
    white-space: nowrap;
    cursor: hand;
    cursor: pointer;
}

.gwt-Tree .gwt-TreeItem-selected {
    background: #ebeff9;
}

/*.gwt-TreeItem .gwt-RadioButton input,
.gwt-TreeItem .gwt-CheckBox input {
    margin-left: 0px;
}*/


.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;
}

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

.col input[type="text"] {
    width: 50px;
}


/*DATE PICKER */
.gwt-DatePicker {
    cursor: default;
}

.datePickerMonthSelector {
    border: 1px solid rgb(215, 215, 215);
    width: 100%;
}

.gwt-DatePicker td,
.datePickerMonthSelector td:focus {
    outline: none;
}

.datePickerMonthSelector td:focus {
    outline: none;
}

.datePickerDays {
    width: 278px;
    background: white;
}

.datePickerDay {
    font-family:Verdana, Arial,Helvetica,sans-serif;
    font-size: 13px;
    font-weight:bold;
    line-height:normal;
    text-align:CENTER;
    background: white;
    padding: 4px;
    border: 1px solid rgb(215, 215, 215);
    cursor: default;
    color: rgb(98,98,98);
    padding: 4px 7px;
    cursor: hand;
    cursor: pointer;
}

.datePickerDayIsWeekend {

}

.datePickerDayIsFiller {
    color: #999;
    font-weight:normal;
}

.datePickerDayIsValue {
    padding: 3px;
    color: #008934;
    background: rgb(154, 154, 154);
}

.datePickerDayIsDisabled {

}

.datePickerDayIsHighlighted {
}

.datePickerDayIsValueAndHighlighted {

}

.datePickerDayIsToday {
    padding: 3px;
    color: #008934;
}

.calendar-transparent {
    background: transparent;
    position: relative;
    left: 0;
}

.datePickerPreviousButton,
.datePickerNextButton,
td.datePickerMonth,
.datePickerMonthSelector,
.datePickerMonth {
    font-family:Verdana, Arial,Helvetica,sans-serif;
    font-size: 13px;
    font-weight:bold;
    line-height:normal;
    text-align:CENTER;
    background: white;
    padding: 4px;
    cursor: default;
    color: rgb(98,98,98);
    padding: 4px 7px;
    cursor: hand;
    cursor: pointer;
  }


.datePickerWeekdayLabel,
.datePickerWeekendLabel {
    font-family:Verdana, Arial,Helvetica,sans-serif;
    font-size: 13px;
    font-weight:bold;
    line-height:normal;
    text-align:CENTER;
    background: white;
    border: 1px solid rgb(215, 215, 215);
    padding: 4px;
    cursor: default;
    color: rgb(98,98,98);
    padding: 4px 7px;
    cursor: hand;
    cursor: pointer;
  }

.customDatePickerWeekdayBorderRightLabel,
.customDatePickerWeekdayLabel {
    font-family:Verdana, Arial,Helvetica,sans-serif;
    font-size: 13px;
    font-weight:bold;
    line-height:normal;
    text-align:CENTER;
    background: rgb(154, 154, 154);
    padding: 0px 4px 2px;
    cursor: default;
    color:white;
}

.customDatePickerWeekdayBorderRightLabel {
    border-right: 2px solid white;
}

.customDatePickerYearMonthLabel {
    font-family:Verdana, Arial,Helvetica,sans-serif;
    font-size: 13px;
    font-weight:bold;
    line-height:normal;
    text-align:CENTER;
    background: transparent;
    padding: 0px 4px 2px;
    color: white;
}

.customDatePickerMonthSelector {
    padding: 4px;
    background: rgb(98, 98, 98);
    color: white;
}