.gwt-Button {
  width: 10em;
}
.gwt-Button:active {
  border: 1px inset #000;
}
.gwt-Button:hover {
  border: 1px outset #24d3ff;
}
.gwt-Button[disabled] {
  cursor: default;
  color: #777;
}
.gwt-Button[disabled]:hover {
  border: 1px outset #000;
}