Я немного покопался в этом, и казалось бы, что это, к сожалению, невозможно, потому что браузеры ограничены в обработке шрифтов в редакторах форматированного текста. В частности, Firefox генерирует (устаревший) элемент <font size="x"></font>
при изменении размера шрифта, и значение x может быть только в диапазоне 1-7.
Если вы посмотрите на метод setFontSize в RichTextAreaImplStandard (исходный код GWT), вы увидите, что он в итоге вызывает функцию javascript execCommand, которая в случае FontSize принимает значения только в 1-7:
http://msdn.microsoft.com/en-us/library/ms536991%28VS.85%29.aspx