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



/*
.gwt-PopupPanel {
   border: 3px solid #000000;
   padding: 3px;
   background: red;
}

*/

.gwt-PopupPanelGlass {
   background-color: #000;
   opacity: 0.3;
   filter: alpha(opacity=30);
}

.gwt-PopupPanel .popupContent {
   border: 2px solid red;
   padding: 3px;
   background: lightgray;	
}   

/*
.myPopup {
border: 3px solid red;
}
*/

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

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


.gwt-MenuBar { 
   float: right; 
} 


/** 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;
}