options and font default tweaks