larger fonts on OSX

src/qtgui/loaddlg.cpp

@@ -38,7 +38,11 @@ LoadDialog::LoadDialog(QWidget *parent) :
 		this, SLOT(onTextMessage(ELogLevel, const QString &)), Qt::QueuedConnection);
 	QFont font("Monospace");
 	font.setStyleHint(QFont::TypeWriter);
+#if defined(__OSX__)
+	font.setPointSize(10);
+#else
 	font.setPointSize(8);
+#endif
 	ui->console->setFont(font);
 	ui->console->setReadOnly(true);
 	QPalette palette;

src/qtgui/loaddlg.ui

@@ -27,7 +27,7 @@
     <widget class="QLabel" name="label_2">
      <property name="font">
       <font>
-       <pointsize>13</pointsize>
+       <pointsize>14</pointsize>
        <weight>75</weight>
        <bold>true</bold>
       </font>