.gwt-Button { margin: 0; padding: 3px 5px; text-decoration: none; font-size: small; cursor: pointer; cursor: hand; background: url("images/hborder.png") repeat-x 0px -27px; border: 1px outset #000; }
.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; }