java gwt richtextarea设置行高

我正在JavaGWT项目中使用RichTextArea。我可以设置一些样式参数，如下所示：

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");

在FF和Chrome中，一切正常，但IE再次制造麻烦，因为在那里，行高不知何故被设置为200%左右，或者甚至在设置返回时生成html段落。 我试着把它和

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

---

但这不起作用…

请提及IE的版本。它发生在IE8版本中IE9没有测试IE10 OK，但如何在我的s.setProperty中设置“p{…}”样式…？您必须应用条件css