function setKeywordDisplayerHeight( height )
{
	var keywordDisplayerObject = document.getElementById( "KeywordDisplayer" );
	var keywordDisplayerEmbeds = document.getElementsByName( "KeywordDisplayer" );
	
	keywordDisplayerObject.style.height = height + "px";
	keywordDisplayerEmbeds[ 0 ].style.height = height + "px";
}