make heavier font optional

Make the new heavier font for discord toggleable, as many people (including myself) don't like it.