Switch the menu buttons from images to text with css.

  This change would be better for accessibility and translations, and would
  allow to add new menu entries more easily.