From 8f41b11a4e12938e52f98fe655a060baec3153cd Mon Sep 17 00:00:00 2001
From: Joe Taylor <joe@princeton.edu>
Date: Thu, 5 Jul 2018 16:09:50 -0400
Subject: [PATCH] Tweak the ^ v button sizes slightly.

---
 mainwindow.ui | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/mainwindow.ui b/mainwindow.ui
index ce25f7ae2..03c7d61f4 100644
--- a/mainwindow.ui
+++ b/mainwindow.ui
@@ -917,8 +917,8 @@ QLabel[oob=&quot;true&quot;] {
                    </property>
                    <property name="maximumSize">
                     <size>
-                     <width>30</width>
-                     <height>16777215</height>
+                     <width>20</width>
+                     <height>20</height>
                     </size>
                    </property>
                    <property name="toolTip">
@@ -961,8 +961,8 @@ QLabel[oob=&quot;true&quot;] {
                    </property>
                    <property name="maximumSize">
                     <size>
-                     <width>30</width>
-                     <height>16777215</height>
+                     <width>20</width>
+                     <height>20</height>
                     </size>
                    </property>
                    <property name="toolTip">