Karen C. noticed that Google Chrome was rendering the home page incorrectly. For some reason, my older version of Chrome didn't show the same error, but when I updated it, then it was wrong. Strange. Anyway, fixing it was fairly easy after I changed library.css to show overflow in the menu containers. I checked other browsers again and they appear unchanged.
Apparently it is still working. I'm not sure when it will go away, but it's gone when it does. If it's still there before the fall semester, I'll remove it regardless. Its replacement will probably be... well, we haven't decided yet.