Builder 5.3 - default layout mode font

Hi,

This is an incredibly minor annoyance - but since upgrading to 5.3.1,  
the WO Builder seems to be stuck in displaying all text in the Times  
font, around 10pt. This is quite hard to read.

Changing the 'display font' option in Preferences has no effect  
whatsoever.

I preferred the old WO Builder that used Helvetica/Arial by default.  
It is possible to get the new WO Builder to display text in Helvetica  
by wrapping the entire page in a <font> tag (remember those!) but  
this is obviously something I don't want in my HTML.

I was wondering if anyone else had been annoyed by this, or has a  
solution?

Alex