GWT - RichTextArea - 内部フォントファミリの設定方法

Question

RichTextAreaの内部フォントファミリやフォントサイズを変更するにはどうすればいいですか？ フォントがまだのTimes New Romanか何かのようなもの。この方法です:(私は

border: 1px solid black; 
    background-color: white; 
    font-family: verdana; 

としてのCSSの何かを変更しようとした...しかし、それは動作しません：S

だからそこにあります？http://google-web-toolkit.googlecode.com/svn/javadoc/2.4/com/google/gwt/user/client/ui/RichTextArea.Formatter.html#setFontName(java.lang.String）：方法は、手動でそのフォント属性

おかげ

Answer 1

がここに文書化され、Formatterを作成して設定します。

これはすべてのスタイリングの内容を抽象化しているため、手動でCSSを記述する必要はありません。