mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-25 22:25:08 +00:00
52cba5fc63
Since GUI1 widgets seem to rely on the given font size values in font.hpp for their dimensions, those are unchanged. ThemeWML-provided sizes were adjusted, and larger sizes assigned to elements that were too small with the new font. Theme element rects were also adjusted as necessary.