pre {
	line-height: 16px;
	font-size: 11px;
	color: #333333;
}
.normal {
	font-weight: normal;
	color: #666666;
}
.tree_single_indent {
    /*border-left:                        1px solid #eee;*/
    padding-left:                       4ex;
    }
.tree_indentation {
    background:                         transparent;
    }

.tree_headname{
    color:                              #888;
    font-weight:                        normal;
    font-size:                          100%;
    font-style:                         normal;
    /*border-bottom:                      1px solid #eee;*/
    padding-right:                      8ex;
    }

.tree_leafconceptname{
    color:                              black;
    font-weight:                        bold;
    font-size:                          100%;
    font-style:                         normal;
}
.tree_filter{
    color:                              #7BB258;
    font-weight:                        bold;
    font-style:                         italic;
    }
.tree_hrule {
    font-size:                          10px;
    height:                             10px;
    width:                              100%;
    border-bottom:                      1px solid red;
}

/*.button {
   	border-bottom: 1px solid #eee;
   	border-left: 1px solid #eee;
}*/

select {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size : xx-small;
	
}

.xpath {
    font-weight: bold;
    color: white;
    background-color: #8DA7C3;
    border-bottom: 1px solid #EA1515;
    padding: 3px 3px 3px 50px;
}