tweaked font sizes and Menlo OSX font