Am aware of that. But the goal is to change into a font family of liking what others also may have. I simply want to use a different font that is readily available online and my understanding is that georgia or Times New Roman are some common ones. But the CSS code did not change that.
Therefore asking for advice of the experts.