function show_themes(event) {
  event.stop();
  $('themes').style.display='block';
}


Event.observe(window, 'load', function() {
  themes_btn = $('themes_btn');
  if (themes_btn) {
    themes_btn.observe('click', show_themes.bindAsEventListener(themes_btn));
  }
});