| update: change the textured theme font's default size.