Thanks for the explanation. However that still doesn't explain why specifying a font of Arial didn't work when trying to set the default font for the editor textarea.
After a bit of experimentation however, I found out that it works if I set the font family for the BODY element in the css instead of the TEXTAREA.