It would be very nice to have a user defined font option for instructors who want to put everything we write into a given font. This was save enormous time over writing in the default font and then having to highlight everything and change to the font and font-size of choice.