adding small function for preference to enable people to change the font
size.