body {
	color: black;
	text-align: center;
	font-family: verdana;
}

a:link, a:visited {
	text-decoration: underline;
	color: #996633;
}

table.menu {
	font-size: smaller;
}

input {
	font-size: 90%;
}

table.tree {
	border-style: double;
	border-width: 4px;
	border-color: #996633;
	background-color: #f5f2db;
	font-size: smaller;
}

td.tree {
	padding-top: 0px;
	padding-bottom: 0px;
	padding-left: 4px;
	padding-right: 4px;
}

td.label {
	background-color: #996633;
	color: #f5f2db;
/*
	padding-top: 4px;
	padding-bottom: 4px;
*/
	padding-top: 0px;
	padding-bottom: 0px;
	padding-left: 4px;
	padding-right: 4px;
}

a.highlight:link, a.highlight:visited {
	text-decoration: underline;
	background-color: #996633;
	color: #f5f2db;
}