From 4b11a9ef33a6fc13a646fb7ed0fb0fc8f903dca2 Mon Sep 17 00:00:00 2001
From: Neil Enns <neile@live.com>
Date: Wed, 8 May 2024 06:50:42 -0700
Subject: [PATCH] Adjust font size in mini-mode Fixes #31

---
 src/app/style/app.scss       | 1 +
 src/app/style/variables.scss | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/src/app/style/app.scss b/src/app/style/app.scss
index 2122067..4727f6e 100644
--- a/src/app/style/app.scss
+++ b/src/app/style/app.scss
@@ -380,6 +380,7 @@ select:disabled {
   margin-top: 7px;
   margin-bottom: 7px;
   float: left;
+  font-size: $mini-font-size;
 }
 
 @media only screen and (max-width: 300px) {
diff --git a/src/app/style/variables.scss b/src/app/style/variables.scss
index 92c6e95..d852a57 100644
--- a/src/app/style/variables.scss
+++ b/src/app/style/variables.scss
@@ -129,3 +129,6 @@ $toolbar-item-height: 26px;
 
 $progress-bar-animation-timing: 0.1s linear infinite;
 $progress-bar-transition: width 0.1s ease;
+
+/* mini mode */
+$mini-font-size: 16px;
\ No newline at end of file