.symvar { border-bottom:none !important;}
/*
.wff { color: #A0A0FF !important;  }
.set { color: #FFA0A0 !important;  }
.class { color:  #FFA0FF  !important;  }
.typecode { color: silver !important;  }
.hidden { color: silver !important;  }
*/