function highlightDay(element) {
    if ($(element) != null) {
        $(element).setStyle({
          backgroundColor: '#3E76AF'
        });
    }
}

function dehighlightDay(element) {
    if ($(element) != null) {
      $(element).setStyle({
          backgroundColor: ''
        });
    }
}