☰

CSS: correction of font family on various sites

Change unusual fonts to more common ones

As of 2020-12-29. See the latest version.

These are versions of this script where the code was updated. Show all versions.