--- a/QTfrontend/ui/widget/hedgehogerWidget.cpp	Tue May 01 19:56:55 2012 +0200
+++ b/QTfrontend/ui/widget/hedgehogerWidget.cpp	Tue May 01 21:24:04 2012 +0200
@@ -105,8 +105,7 @@
     }
 
     QPainter painter(this);
-    const QFont font("MS Shell Dlg", 12);
-    painter.setFont(font);
-    painter.drawText(this->width() - 12, 24, QString::number(numItems));
+    painter.setFont(QFont("MS Shell Dlg", 10, QFont::Bold));
+    painter.drawText(this->width() - 12, 23, QString::number(numItems));
 
 }