"Proper". I agree with Oliver Reichenstein's argument[1], but Google does 13px and it's fine. The font-size in most desktop apps is less than 16px. Human's are adaptable. 16px is just more comfortable.

[1]: http://ia.net/blog/100e2r