Use Roboto Condensed for the UI where supported

It's Apache licensed and doesn't look bad.  Defaulting still works.

Well, I liked it anyway.  Also adjusts the font sizes to match the old, which makes it more usable at 1x again.  Can change back if there was a separate reason for shrinking the font (than that Trebuchet MS is a bit bigger.)

Could also use this font on other platforms for consistency.

-[Unknown]