10 Commits (c52945a2dc50c4507e70c0153a8fdd72a3568860)

Author	SHA1	Message	Date
Andy Balaam	166fba6428	Improve the appearance of the font size slider (#7038)	2021-10-26 13:29:02 +01: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
Jorik Schellekens	3e30df17fb	Slider is more responsive	2020-05-20 13:07:33 +01:00
Jorik Schellekens	328bb7bcaf	Remove all animations	2020-05-13 15:24:08 +01:00
Jorik Schellekens	bab7d5f461	Some lints	2020-05-06 17:25:54 +01:00
Jorik Schellekens	a16fe09d42	Use em to detach slider from root font-size	2020-04-23 10:58:00 +01:00
Jorik Schellekens	98799611cf	Remove padding for alignment reasons	2020-04-23 10:45:48 +01:00
Jorik Schellekens	1486beeaf4	Make slider indpendent of settings styling	2020-04-23 10:45:48 +01:00
Jorik Schellekens	5f50facfba	Make slider independant of label size	2020-04-23 10:45:48 +01:00
Jorik Schellekens	9a585fee0a	Move slider themes	2020-04-23 10:45:48 +01:00