/** Add css rules here for your application. */
/* body { margin: 10; padding: 20; background-color: #ffa } */
body { margin: 10; padding: 20; }
h1 { font-size: 3em; color: #000; text-align: center }
h2 { font-size: 2em; color: #011; background-color: #aaf }

.mainleft {
  font-size: 1.5em;
  font-weight: normal;
  color: #000000;
/*  background-color: #ffa; */
  margin: 5px 5px 5px;
  text-align: left;
}

.topleft {
  font-size: 2em;
  font-weight: normal;
  color: #0000AA;
/*  background-color: #ffa; */
  margin: 0px 0px 0px;
  border: 2px 1px 5px;
  border-style: none;
  text-align: left;
}

.topcenter {
  font-size: 2em;
  font-weight: normal;
  color: #0000AA;
/*  background-color: #ffa; */
  margin: 0px 0px 0px;
  border-style: none;
  text-align: center;
}

.topleftbuttons {
  font-size: 2em;
  font-weight: normal;
  color: #FF00FF;
/*  background-color: #ffa; */
  margin: 0px 0px 0px;
  text-align: left;
}

.fetching {
  font-size: 1.2em;
  font-weight: bold;
  background-color: black;
  color: white;
}

.fetchfailed {
  font-size: 1.2em;
  font-weight: bold;
  background-color: black;
  color: red;
}

.failed {
  font-size: 1.2em;
  font-weight: bold;
  background-color: black;
  color: red;
}

.error {
  font-size: 1em;
  border: 2px 1px 5px;
  border-color: red;
  border-style: groove;
  background-color: Beige;
  color: black;
}

.checking {
  font-size: 1.2em;
  font-weight: bold;
  background-color: black;
  color: white;
}

.convert {
  font-size: 1em;
  font-weight: bold;
  border: 1px 1px;
  border-style: solid;
  background-color: white;
  color: blue;
}

.redexButton {
  display: none;
  font-size: 8pt;
  border: 1px 1px;
  border-style: solid;
}

.sendButton {
  display: block;
  font-size: 16pt;
}
.invisible {
  display: none;
}
.floatover {
  position: absolute;
  top: 40px;
  right: 80px;
  z-index: 50;
  background-color:blue;
  font-size: 1.2em;
  font-weight: bold;
  border: 1px 1px;
  border-style: groove;
}

table.redex {
  margin: 0px 1px;
  border-width: 0px;
  border-style: none;
}

table.redex:hover {
  margin: 0px 1px;
  background-color:Beige;
  border-width: 5px;
  border-color: red;
  border-style: groove;
}

table.redexActive {
  margin: 0px 1px;
  background-color:yellow;
  border-width: 9px;
  border-color: blue;
  border-style: inset;
}

/** Example rules used by the template application (remove for your app) */

/** Most GWT widgets already have a style name defined */
.gwt-DialogBox {
  width: 400px;
  text-align: center;
}

.dialogVPanel {
  margin: 5px;
}

.serverResponseLabelError {
  color: red;
}

/** Set ids using widget.getElement().setId("idOfElement") */
#closeButton {
  margin: 15px 6px 6px;
}