4 commits

Author	SHA1	Message	Date
Suguru Hirahara	814ca6811c	Improve font scaling panel style (#8887)	2022-06-25 14:20:01 +02:00
Šimon Brandner	7da8c51c6b	Improve colors in settings (#7283)	2022-06-14 18:17:10 +00:00
Andy Balaam	96bd052ecf	Improve visibility of font size chooser (#6988) ... * Improve visibility of font size chooser * Move slider dot sizes into variables * Use a standard font size instead of percentage in Slider * Use shorthand for padding in FontScalingPanel * Change Slider text pos to px to be consistent when font changes * Cleaner dot size for Slider selection	2021-10-20 13:41:27 +01:00
Andy Balaam	4ad32b16ea	Break out font size settings to a separate component	2021-10-19 14:50:09 +01:00