From 771343708586907695e93ff5647056cdfac0fbe4 Mon Sep 17 00:00:00 2001
From: Iris Morelle <shadowm@wesnoth.org>
Date: Wed, 17 Mar 2021 20:20:56 -0300
Subject: [PATCH] ui: Reduce font size for the ToD counter

*Should* generally fix counters like 14/15 getting ellipsized. There was
no real reason for it to be so large to begin with.
---
 data/themes/default.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/themes/default.cfg b/data/themes/default.cfg
index 93de0d969331..62c104baf465 100644
--- a/data/themes/default.cfg
+++ b/data/themes/default.cfg
@@ -258,7 +258,7 @@
             [/time_of_day]
             [tod_stats]
                 id=tod-stats
-                font_size={DEFAULT_FONT_NORMAL}
+                font_size={DEFAULT_FONT_SMALL}
                 rect="+3,=+8,+64,+{DEFAULT_FONT_NORMAL_HEIGHT}"
                 xanchor=right
                 yanchor=fixed