function DecorateGlossaryTerms()
{
	var SpanTags = document.getElementsByTagName('span');
	for (var i=0; i<SpanTags.length;i++)
	{
		var Tag = SpanTags[i];
		if (Tag.className == 'GlossaryTerm')
		{
			var Link = document.createElement('a');
			var Term = Tag.innerHTML;
			Link.href = 'glossary.html?term=' + Term;
			Link.title = '"' + Term + '" im Glossar nachschlagen';
			Link.innerHTML = Term;
			Tag.innerHTML = '';
			Tag.appendChild(Link);
		}
	}
}

