// General purpose functions. | |
function hide_element(elementId) { | |
element = document.getElementById(elementId); | |
if(element != null) { | |
currentClass = element.className; | |
if(currentClass =='visible_tooltip') { | |
element.className = 'hidden_tooltip'; | |
} | |
} | |
} | |
function show_element(elementId) { | |
element = document.getElementById(elementId); | |
if(element != null) { | |
currentClass = element.className; | |
if(currentClass == 'hidden_tooltip') { | |
element.className = 'visible_tooltip'; | |
} | |
} | |
} | |