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