1// General purpose functions.
2
3function hide_element(elementId) {
4	element = document.getElementById(elementId);
5	if(element != null) {
6		currentClass = element.className;
7		if(currentClass =='visible_tooltip') {
8			element.className = 'hidden_tooltip';
9		}
10	}
11}
12
13function show_element(elementId) {
14	element = document.getElementById(elementId);
15	if(element != null) {
16		currentClass = element.className;
17		if(currentClass == 'hidden_tooltip') {
18			element.className = 'visible_tooltip';
19		}
20	}
21}
22
23
24