Fix a bug in the javascript. Only versions that are independent of
the mouse-over version are grayed out now.