////////////////////////// MAIN MENU ///////////////////////////////
function HL(el_id, prefix)
{
  var e = document.getElementById(el_id);
  e.style.backgroundColor = "#535F73";
  e.style.backgroundColor = "#f6fcff";
  //e.style.borderColor = "gray";
} 

function UHL(el_id, prefix)
{
  var e = document.getElementById(el_id);
  e.style.backgroundColor = "#3F4B5C";
  e.style.backgroundColor = "#e0f3fe";
  
  //e.style.borderColor = "#4F5E73";
}