window.addEvent('domready', function() {
    /* Deleting the prefilled value of the quicksearch field if necessary */
    searchinputvalue = $(document.body).getElements('input.searchinput').getProperty('value');
    $(document.body).getElements('input.searchinput').addEvents({
		'focus': function(){
			this.value = this.value== searchinputvalue ? '' : this.value ;
		},
		'blur': function(){
			this.value = this.value== '' ? searchinputvalue : this.value ;
		}
	});
	
	if (Browser.Engine.gecko) $(document.html).setStyle('overflow-y', 'scroll');
});