a.setFont(QFont("helvetica", 12));
/* uncomment the following line, if you want a Windows 95 look*/
// a.setStyle(WindowsStyle);
a.setFont(QFont("helvetica", 12));
/* uncomment the following line, if you want a Windows 95 look*/
// a.setStyle(WindowsStyle);