java gwt richtextarea

Is it possible to change the default font-family 'times new roman' of the richtextarea to 'arial'?

I already tried doing

richtextarea.addInitializeHandler(new InitializeHandler() {

@Override

public void onInitialize(InitializeEvent event) {

IFrameElement i = IFrameElement.as(editor.getElement());

Document document = i.getContentDocument();

BodyElement body = document.getBody();

body.setAttribute("style", "font-family: Arial Black;");

}

});

but I get an 'umbrellaexception' in the line 'Document document = i.getContentDocument();' ...

--
You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group.
To view this discussion on the web visit https://groups.google.com/d/msg/google-web-toolkit/-/kDQvaFoKBIsJ.
To post to this group, send email to google-web-toolkit@googlegroups.com.
To unsubscribe from this group, send email to google-web-toolkit+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.