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.
wesnoth · Mar 17, 2021 · 7713437 · 7713437
1 parent ffbc7eb
commit 7713437
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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