Various amounts of polish

Using Armio, a Google font, instead of Arial.