function popup_glossary (GlossaryAnchor, GlossaryTitle) {
    var WindowURL = '/templates/support/glossary.html#' + GlossaryAnchor;
    window.open(WindowURL, 'Help', 'toolbar=no, width=500, height=500');
}

function highlight_entry() {
    current_anchor = document.URL;
        anchor_position = current_anchor.indexOf('#') + 1;
        current_anchor = current_anchor.substring(anchor_position);
    document.getElementById(current_anchor).style.backgroundColor = '#FFFFCC';
}