Customizable editor font (font-family, font size,...)

[Yukaii]

• https://github.com/virtualidentityag/FontDetect
• https://github.com/f2ex/fontdetect.js

[andrnotes]

Editor font way to big on mobile device.
Please add adjustment possibility.

Thank you in advance