java gwt richtextarea set line-height

Question

I'm using the RichTextArea in my java gwt project. I was able to set a few parameters of the styling as follows:

IFrameElement fe = (IFrameElement) richTextArea.getElement().cast(); 
Style s = fe.getContentDocument().getBody().getStyle(); 
s.setProperty("fontFamily", "Arial Unicode MS,Arial,sans- serif"); 
s.setProperty("fontSize", "small");

Everything works fine in FF and Chrome (as usual) but IE is making trouble again, because there the line-height is somehow set to 200% or something or is even making html paragraphs when set a return. I tried to set it with

  s.setProperty("lineHeight", "...");

but that didn't work...