body {
	background-color: white;
	color: black;
	font-family: Arial, sans-serif;
	font-size: small;
	margin: 8px;
	margin-top: 3px;
}

.intro {
	border: 1px solid #C3D9FF;
	background-color: #E8EEF7;
	padding: 0.5em;
}

#search {
	text-align: center;
}

#tree {
	background-color: white;
	border: 1px solid #C3D9FF;
	margin: 2em 2em 0 2em;
}

.gwt-Tree {
}

.gwt-Tree img {
	vertical-align: middle;
}

.gwt-Tree .gwt-TreeItem {
	background-color: white;
	font-size: x-small;
	margin: 4px 0px 0px 4px;
}

.gwt-Tree .gwt-TreeItem-selected {
	background-color: #E8EEF7;
	text-decoration: underline;
}