html, body {
    margin: 0;
    height: 100%;
}

/* h1 {
  font-size: 2em;
  font-weight: bold;
  color: #777777;
  margin: 40px 0px 10px;
  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;
}

/* Table bits */
.tr {
	vertical-align: text-top
}

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

.background {
	background-color: #91986c7c;
}

.foreground {
	color: #f2f17d;
}

.project {
	margin-left: 4px;
	}
	
.baseFont {
	font-family: sans-serif;
	}

.obutton {
	margin-bottom: 3px;
	}
.icon {
	position: fixed;
	top: 5px;
	left: 5px;
	}
	
.question {
	color: blue;
	}
	
.answer {
	color: black;
	margin-left:15px;
	}

.code {
	white-space: pre;
	font-family: "Lucida Console", "Courier New", monospace;
	font-size: small;
	tab-size:4;
}

.keyword {
	color:magenta;
	}
.var {
	color:blue;
	}
.ivar {
	color:green;
	}
.fn {
	color:purple;
	}
.em {
	font-weight: bold;
	font-family: "Lucida Console", "Courier New", monospace;
	font-size: small;	
	}
	
.sidebar {
	font-style: italic;
	}

.absolute-right-button {
		position: absolute;
		right: 0;
		top: 16px;
	}