> Does it really need that font to function properlly?
currently, it does because the html option-menu uses it and strictly references it.
IMHO, this should be patched out to use (any) 'Sans' and let the browser/system choose whatever font it finds suitable for 'Sans', rather than depending on a specific implementation.
Regards, Daniel
