/** Add css rules here for your application. */

.input .gwt-Button {
	
	color: #777777;
	
}

#container { 
  margin-left:5px;
  margin-right:5px;
}

.proofDisplay{
 width:100%;
 word-wrap: break-word;
}

#menu { 

  margin-right:14px;  /*to stop the wizard items from wrapping */
}

.gwt-MenuBar {
   float: right;
}

/* 2026 — greys out a Rules-menu item the User has toggled off (see
   TMyStegemanProofController's rule-disabling feature) */
.ruleDisabled {
  color: #aaaaaa;
  text-decoration: line-through;
}


/** Example rules used by the template application (remove for your app) */
h1 {
  font-size: 2em;
  font-weight: bold;
  color: #777777;
  margin: 40px 0px 70px;
  text-align: center;
}

.sendButton {
  display: block;
  font-size: 16pt;
}

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

.dialogVPanel {
  margin: 5px;
}

.serverResponseLabelError {
  color: red;
}

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