//////////////////////////////////////////////////////////////////////////////
//                                                                          //
//  Karin Mientjes                                                          //
//                                                                          //
//      Copyright (C) 2007,                                                 //
//        Karin Mientjes <km@karinmientjes.nl>                              //
//        Michiel Sikma <michiel@thingmajig.org>                            //
//                                                                          //
//////////////////////////////////////////////////////////////////////////////

// set embed height function
//      Sets the height of the containing div element of embed
//
// Synopsis:
//      setEmbed_h(height:String, overflow:String)
//
// Parameters:
//      height:String
//          The height for the embed.
//          Can be in pixels (eg. "100px") or percentage (eg. "100%")
//
// Returns:
//      Nothing.

function DISABLED_setEmbed_h(height, overflow)
{
	// Get the flash content div and set height
	var flashcontentDiv = document.getElementById("flashcontent");
	flashcontentDiv.style.height = height;

	// Check if overflow was omitted, if so set it to auto
	if (overflow == undefined) {
		overflow = "auto";
	}

	/* Commented out as it causes a refresh in FireFox. I don't really need it anyway.
	// Set overflow of body
	//document.body.style.overflow = overflow;
	*/

	// Check if browser is Safari, and resize the window to force redraw if it 
	// is.
	
	if (navigator.userAgent.toLowerCase().indexOf("safari") != -1) {
		window.resizeBy(-1,0);
		window.resizeBy(1,0);
	}
}


// set embed scrollbar y function
//      Sets the vertical position of the scrollbar of body
//
// Synopsis:
//      setEmbed_y(pos:Integer)
//
// Parameters:
//      pos:Integer
//          The vertical position of the scroll bar
//
// Returns:
//      Nothing.

function DISABLED_setEmbed_y(pos)
{
	// Set the page's vertical scrollbar position
	window.scroll(0, pos);
}