From dc2643ffa7d50ddc6138494d1f3a0780ed1357a3 Mon Sep 17 00:00:00 2001
From: Akash Mozumdar <akashmozumdar@gmail.com>
Date: Mon, 20 Aug 2018 01:19:49 -0400
Subject: [PATCH] change text size (was uncomfortably big)

---
 GUI/mainwindow.ui | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/GUI/mainwindow.ui b/GUI/mainwindow.ui
index 0586c32..7729192 100644
--- a/GUI/mainwindow.ui
+++ b/GUI/mainwindow.ui
@@ -22,11 +22,11 @@
   <property name="styleSheet">
    <string notr="true">QObject
 {
-	font: 11pt &quot;MS Shell Dlg 2&quot;;
+	font: 10pt &quot;MS Shell Dlg 2&quot;;
 }
 #textOutput
 {
-	font: 14pt &quot;MS Shell Dlg 2&quot;;
+	font: 13pt &quot;MS Shell Dlg 2&quot;;
 }
 QPushButton, QComboBox
 {
@@ -290,7 +290,7 @@ QPushButton, QComboBox
      <x>0</x>
      <y>0</y>
      <width>949</width>
-     <height>24</height>
+     <height>22</height>
     </rect>
    </property>
   </widget>