If you spend a lot of time in Google Docs, the default font can start to ... If you ever want to revert to the original ...