#leftmenu {
  width : 260px!important;
}
#main {
  margin-left: 262px!important;
}
span.node, span.tag, span.attvalue, span.attname, span.comment{
  font-size: 9pt; font-family:Tahoma, Verdana;
}

span.node{ color: #a31515; }
span.tag, span.attvalue{ color:blue; }
span.attname{ color:red; }
span.comment{ color:green; }
  
pre{
  font-size:9pt; font-family: Tahoma, Verdana; background: #FAF9F5; margin-top:1em; margin-bottom:1em; margin-left:0px; border: #c0c0c0 1px solid; padding:2pt;
}
 
pre.xmlconfig{ white-space:nowrap; color:blue; }
  
div.underline{ border-bottom: solid 1 #e0e0e0; }
pre div.underline{ display:inline; width:100%; }