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