.xmlLabel {
  	font-family: monospace;
 }

.notes{
	font: serif;
	color:003300;
	font-size: larger;
}

/**Stolen from I18N*/
h1 {
	color: green;
}

body {
	color: black;
	font-family: arial, sans-serif;
	font-size: smaller;
	margin: 20px 20px 20px 20px;
}

code {
	font-size: small;
}

a {
	color: darkblue;
}

a:visited {
	color: darkblue;
}

.detailedExplanation {
	font-weight: lighter;
	color: black;
	font-family: monospace;
}

.messagesTable {
	margin: 20px;
	font-size: x-small;
}

.userTable {
	margin: 20px;
}

.userTable td {
	padding-right: 10px;
	white-space: nowrap;
	text-align: center;
}

.userTableLabel {
	color: green;
}

.messagesArgumentType {
	font: x-small;
	color: green;
}

.gwt-BorderedPanel {
	
}

.gwt-Button {
	
}

.gwt-Canvas {
	
}

.gwt-CheckBox {
	font-size: smaller;
}

.gwt-DialogBox {
	sborder: 8px solid #c3d9ff;
	border: 2px outset;
	background-color: white;
}

.gwt-DialogBox .Caption {
	background-color: #c3d9ff;
	padding: 3px;
	margin: 2px;
	font-weight: bold;
	cursor: default;
}

.gwt-FileUpload {
	
}

.gwt-Frame {
	
}

.gwt-HorizontalSplitter .Bar {
	width: 8px;
	background-color: #c3d9ff;
}

.gwt-VerticalSplitter .Bar {
	height: 8px;
	background-color: #c3d9ff;
}

.gwt-HTML {
	font-size: smaller;
}

.gwt-Hyperlink {
	
}

.gwt-Image {
	
}

.gwt-Label {

}

.gwt-ListBox {
	
}

.gwt-MenuBar {
	background-color: #c3d9ff;
	border: 1px solid #87b3ff;
	cursor: default;
}

.gwt-MenuBar .gwt-MenuItem {
	padding: 1px 4px 1px 4px;
	font-size: smaller;
	cursor: default;
}

.gwt-MenuBar .gwt-MenuItem-selected {
	background-color: #e8eef7;
}

.gwt-PasswordTextBox {
	
}

.gwt-RadioButton {
	font-size: smaller;
}

.gwt-TabPanel {
	
}

.gwt-TabPanelBottom {
	border: 1px solid #87b3ff;
	padding: 10px
}

.gwt-TabBar {
	background-color: #c3d9ff;
	font-size: smaller;
}

.gwt-TabBar .gwt-TabBarFirst {
	height: 100%;
	border-bottom: 1px solid #87b3ff;
	padding-left: 3px;
}

.gwt-TabBar .gwt-TabBarRest {
	border-bottom: 1px solid #87b3ff;
	padding-right: 3px;
}

.gwt-TabBar .gwt-TabBarItem {
	border-top: 1px solid #87b3ff;
	border-bottom: 1px solid #87b3ff;
	padding: 2px;
	cursor: pointer;
	cursor: hand;
	white-space: nowrap;
	border-left: 1px solid #87b3ff;
	border-right: 1px solid #87b3ff;
}

.gwt-TabBar .gwt-TabBarItem-selected {
	font-weight: bold;
	background-color: #e8eef7;
	border-top: 1px solid #87b3ff;
	border-left: 1px solid #87b3ff;
	border-right: 1px solid #87b3ff;
	border-bottom: 1px solid #e8eef7;
	padding: 2px;
	cursor: default;
	white-space: nowrap;
}