Changing the default font

Currently JingOS uses Open Sans as it’s font. I think a much prettier alternative would be the Inter font, as it’s more modern, sleeker, and fits better with the aesthetic that JingOS strives to achieve. It’s free and open source, so there shouldn’t be any problems with licensing.