I have a problem. Not a big one, mind, but one all the same: I dislike the default formatting on Google Docs. “Excuse me?” I hear you scream. “Do you really care enough about ...