function show_de_maufel_nav() {
  $('#de_maufel_sub_nav').show();
  $('#de_maufel').addClass('nav_highlight');
}	

function show_bistrot_resto_nav() {
  $('#bistrot_resto_sub_nav').show();
  $('#bistrot_resto').addClass('nav_highlight');
}	

function show_catering_nav() {
  $('#catering_sub_nav').show();
  $('#catering').addClass('nav_highlight');
}