function resize_gallery_space() {
	window.moveTo(0,0); // moveTo(-4,-4) not possible in Gecko-based browsers ;
	window.resizeTo(screen.availWidth,screen.availHeight);
}