/* tooltip */

tool = null;
document.onmousemove = update_tip;

function show_tip(id) {
	tool = document.getElementById(id);
	tool.style.display = "block"
}
// Position abfragen
function update_tip(pos) {
	x = (document.all) ? window.event.x + document.body.scrollLeft : pos.pageX;
	y = (document.all) ? window.event.y + document.body.scrollTop  : pos.pageY;
	if (tool != null) {
		tool.style.left = (x - 100) + "px";
		tool.style.top 	= (y + 15) + "px";
	}
}
// Ausblenden
function hide_tip() {
	tool.style.display = "none";
}