function print( url ) {
  popup = window.open( url, "help", "width=720, height=700, top=100, left=100, toolbar=0, resizable=1, scrollbars=1, status=0.menubar=0, location=0, directories=0");
  popup.focus();
}

window.addEvent('domready', function() {
	$$('a.externe-link').each( function(el) {
		el.target = '_blank';
	});

	var about = $('about');
	if( about ) {
		$('logo').addEvent( 'mouseenter', function() {
			about.setStyle( 'display', 'block' );
		});

		about.addEvent( 'mouseleave', function() {
			if( this.getStyle('display' ) == 'block' )
				this.setStyle( 'display', 'none' );
		});
	}
});