One more slight adjustment to widgets.py. Now looks okay on Windows and Mac.