Minor adjustments to typography

This cuts down slightly on some text sizes, which should help
readability on some devices due to better pixel size, esp. on mobile
devices.  It also uses the same font for the "top level" headers as the
menu for consistency.