.opt, a.opt {
position:relative;
margin: 0px 1px 0px 1px; padding: 0px 1px 0px 1px;
font-size: 10px; font-family: Verdana; color: black;
text-decoration: none;
}

a.opt:hover {
position:relative;
margin: 0px; padding: 0px 1px 0px 1px;
border: 1px solid; border-color: silver gray gray silver;
background-color:#FAFAFA;
font-size: 10px; font-family: Verdana; color: black;
text-decoration: none;
}

a.pref {
margin: 0px; padding: 0px 1px 0px 1px;
font-family: Verdana; font-size: 10px; font-weight: bold; color:#318293;;
text-decoration: none;
}

.col {display: none; margin: 0; padding: 0px 0px 0px 15px; text-decoration: none;}
.xpp {display: block; margin: 0; padding: 0px 0px 0px 15px; text-decoration: none;}
.node {margin: 0px 0px 0px 0px; padding: 0px 0px 0px 0px; font-size:1px; text-decoration:none;}
.node_col {width: 13px; height: 11px; font-size: 0; background: url("/xml/node_col.gif") no-repeat 0px 1px;}
.node_xpp {width: 13px; height: 11px; font-size: 0; background: url("/xml/node_xpp.gif") no-repeat 0px 1px;}
.hline {margin: 0px; padding: 0 0 0 13px;height: 11px;font-size: 1px;background: url("/xml/h-line.gif") no-repeat;text-decoration: none;}
.eline {margin: 0px; padding: 0 0 0 13px;width: 8px;  height: 11px;font-size: 1px;background: url("/xml/e-line.gif") no-repeat;text-decoration: none;}