/** Add css rules here for your application. */
.side-nav{
  height: 100% !important;
  box-sizing: border-box !important;
  -moz-box-sizing: border-box !important;
  -webkit-box-sizing: border-box !important;
}
pre{
	padding: 20px;
	white-space: pre;
	background: #F3FBFF;
	font-size: 1.2em;
	padding-left: 10px;
}
.tag{
	color: #905;
}
.attr{
	color: #690;
}
.comment{
	color: #999;
}

/** ADS **/
#rhfrm_39623_58601_3{
	position: absolute;
 	top: 10px;
  	z-index: 9999;
  	right: 30px;
}

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