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

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