Version 3.2 of the code I posted on 2000-10-31 and updated several times. This post fixes the final bugs so the buttons look perfect when pushed, and no more code kludges are necessary. As before, ...