Steven Walling wrote:

Yes, you'll need to edit your stylesheets. Do you just want to change the
body text color back to pure black? I can show you how to do that really
easily.

No, I'd also like to change the heading font to the one we use right now, and perhaps make some other changes.

I can deal with this on my own, but I'm unsure which of the three files mentioned at <https://www.mediawiki.org/wiki/Typography_refresh#Code_links> I need to take under consideration.