Testing CSS-modified pop-up menu

• former versions 1 to 4 are already incorporated into JSmol code
  • summary of changes: see comparison image
• version 5
  • uses a modified coremenu.z.js - download files (source js code)
  • see comparison image