//Martin
function toggleSnippet(button, snippet) {

    if (Element.visible(snippet)) {
        Element.update(button, '(show)');
    } else {
        Element.update(button, '(hide)');
    }

    Element.toggle(snippet);
}