Even for PC the minimum font size is 12. I admit, I'd also prefer 10pt, but dragging it out of the way by grabbing the General Tab and pulling has helped my UI to be closer to my personal preferences. I don't expect it to be perfect until 3rd party software gets developed.