/*
	file:			glossar.js
	content:		"in-jumping" for glossary index & items
	project:		Animoto HTML
	version:		1.0
	last update:	04.02.2006
	(c):			Daniel Liebig, Wevin - http://www.wevin.de
*/

function jumpToLetter(letter)
{
		var divToShow	= document.getElementById(letter);
		if ( ! divToShow )
		{
			return;
		}
		pos				= divToShow.offsetTop;
		move_to(pos*-1);
		activeLetter = letter;
}

function set_init(letter)
{
	var initImg = document.getElementById('img_' + letter);
	highlight(initImg);
	set_active(initImg);
	jumpToLetter(letter);
}