.gwt-Button { width: 10em; }
.gwt-Button:active { border: 1px inset #ccc; }
.gwt-Button:hover { border-color: #9cf #69e #69e #7af; }
.gwt-Button[disabled] { cursor: default; color: #888; }
.gwt-Button[disabled]:hover { border: 1px outset #ccc; }