gymfyp
Thanks for the answers, guys!
SOJO, I used FCKeditor for years, both in "classic" mode (downloaded from original FCKeditor site) and in an ASP version from another DW extensions developer: unluckly the original FCKeditor is replaced by the new CKeditor, but the competitor's demo is still online - I can tell you the URL -: in both cases there is not the Times New Roman, but a consistent font with the rest of the FCKeditor interface (I guess it's Tahoma, or something similar): and with no hacks on browser; you can also download the old FCKeditor (download) and test on your own; you are right when you say that Times is non un-professional, but in my opinion (and not only in mine) it's more press-related than web-related; more: a fonts-jam (more than 2 fonts) gets complaints on sites, I guess it will get complaints also on html editor...
Eric, thanks for your support :-)