Editor: Shrink the font size for the chosen format so it fits in more locales.

Merges [28180] to the 3.9 branch.

props SergeyBiryukov.
fixes #27903.


git-svn-id: https://develop.svn.wordpress.org/branches/3.9@28199 602fd350-edb4-49c9-b593-d223f7449a82
Ensure the editor height is saved properly as an integer.

Merges [28193] to the 3.9 branch.

props jupiterwise.
fixes #28000.


git-svn-id: https://develop.svn.wordpress.org/branches/3.9@28200 602fd350-edb4-49c9-b593-d223f7449a82