When switching between Arial and Verdana text styles in UI Options ( using FF on macOS ), there is no discernible difference in the font applied.
Steps to reproduce:
- open the UI Options demo
- Open the preferences editor and change the text style to Arial
- Change the text style to Verdana
Notice that when switching between Arial and Verdana the text style on the page does not appear to change.