rvj Mon, 07 Jan 2002 10:22:05 -0800
correction : line should read buttons[j].setAttribute('style', 'margin: 6px 3px 3px 3px');