.src_ac_ui_VariableTree {
	font-size: 9pt;
	font-weight: normal;
}

.src_ac_ui_VariableTree div.tree ul li {
	border: 1px solid transparent;
	padding: 1px;
}