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