/**
 * Shared JS File
 *
 * You can code here a script shared by all themes.
 * As an example an AJAX library.
 */
window.addEvent('domready', function() {
 	var language_flags = $$('div#langs a');	
	language_flags.each(function(element) {
		element.addEvent('click', function(e){
			e = new Event(e);
			new XHR({
				method:'get',
				onSuccess: function(){ window.location = current_url; }
			}).send(element.getProperty('href'));
			e.stop();
		});  
	});
	
	var Tips1 = new Tips($$('.toolTips'));	
});