#maincontent table.directory { border-spacing: 10px;}

#maincontent table.directory td {
	background: #FAEBD7;
	padding: 10px;
}

table.directory td h3 a { color: #a62f00; }
table.directory td h3 a:hover {}

table.directory td p.occurences {
	font-size: 93%;
	margin: 0;
}

table.properties {
	border-spacing: 0;
	border-top: 2px solid #eeeeee;
	border-left: 2px solid #eeeeee;
	border-right: 2px solid #eeeeee;
}
table.properties td.key {
	font-weight: bold;
	border-right: 2px solid #eeeeee;
	white-space: nowrap;
	vertical-align: top;
}
table.properties td {
	padding: 5px;
	margin: 0px;
	border-bottom: 2px solid #eeeeee;
}
table.properties td.value { width: 100%; }

a.group { font-weight:bold; }