function switchButtonStyle(mode, button) {
    button.style.borderStyle = (mode == 'off') ? 'outset' : 'inset';
    button.style.backgroundColor = (mode == 'off') ? '#FDCA67' : '#FFDFAD';
}
function switchGalleryButton(on, id) {
    var button = document.getElementById(id);
    button.style.visibility = on ? 'visible' : 'hidden';
}
