Emil Ernerfeldt 72b9b9d750 Increase default text size from 12.5 to 13.0 (#7521)		2025-09-09 15:47:24 +02:00
..
closed_hovered.png	Increase default text size from 12.5 to 13.0 (#7521)	2025-09-09 15:47:24 +02:00
opened.png	Increase default text size from 12.5 to 13.0 (#7521)	2025-09-09 15:47:24 +02:00
submenu.png	Increase default text size from 12.5 to 13.0 (#7521)	2025-09-09 15:47:24 +02:00
subsubmenu.png	Increase default text size from 12.5 to 13.0 (#7521)	2025-09-09 15:47:24 +02:00