☰

replace-font-sizes

Replace all fonts sizes by preferred ones.

As of 2023-12-19. See the latest version.