One of the nice things about HTML/CSS is that there's such a thing as "user styles", which can apply on top (or instead of) the "author styles". Opera pioneere

One of the nice things about HTML/CSS is that there's such a thing as "user styles", which can apply on top (or instead of) the "author styles". Opera pioneered this interface, AFAIK, and even had one-click toggle buttons for both author and user styles (as well as images), but most of today's browsers don't make this functionality transparent and available. I suppose you could do via dev tools? For a simple change like what you're asking, perhaps even changing browser's font settings would suffice?