td.menuNorm { border-width: 2px; border-style: dashed; border-color: #aaccff; }
td.menuHL { border-width: 2px; border-style: solid; border-color: #557799;  }