The following snippet will let you change WordPress editor font.

Snippet Source/Credit: DevPress