// Necessary try...catch for IE that trips on console.log()
try { console.log('init console... done'); } catch(e) { console = { log: function() {} } };
// this is to shorten the use of the logging : log('my stuff')
var log = function(message) { console.log(message) }


// Register global error handler
window.onerror = function(message, uri, line) {
  var fullMessage = message + "\n at " + uri + ": " + line;
  log(fullMessage);
  // Let the browser take it from here
  return false;
}

// ***** menu ***** //

function toggle_submenu(main_menu) {
  var mainMenuElem = $(main_menu);
  var submenu = mainMenuElem.down('ul');
  
  if ( submenu!=null)
    submenu.toggle();
}