Это связано с отображением размера шрифта IE по умолчанию и не имеет ничего общего с GWT, а скорее со стилем CSS.
Вы можете убедиться, что шрифты согласованы в нескольких браузерах с помощью CSS (например):
*
{
font-family: Arial, sans-serif;
font-size: 12pt;
}
body, table td, a, div, .p, pre
{
font-family: Arial, sans-serif;
font-size: 12pt;
}
EDIT:
Чтобы все виджеты «получили» этот новый стиль, вам нужно поместить свой CSS-файл в файл * .gwt.xml следующим образом (порядок строк важен):
<inherits name='com.google.gwt.user.theme.standard.Standard' />
<stylesheet src="MyNewAndImprovedStyle.css" />
не помещайте это на HTML-страницу!
Это гарантирует, что ваш стиль переопределит стили виджета.
PS: Вы можете переопределить некоторые стили виджетов вручную (для этого у меня есть GwtOverride.css) ... см. Фрагмент:
.gwt-TextBox,.gwt-PasswordTextBox,.gwt-DateBox
{
border: 1px solid #BDBDBD;
padding: 2px;
background-color: #FFFCDA;
}
.gwt-ListBox
{
font-family: Arial, sans-serif;
font-size: 12px;
background-color: #FFFCDA;
}
/* make dialog slick and nice */
.gwt-DialogBox .dialogContent
{
margin: 5px;
}
.gwt-DialogBox .Caption
{
background: #99B4CC;
border-top: 2px solid #99B4CC;
border-bottom: 1px solid gray;
font-size: 110%;
font-weight: bold;
white-space: nowrap;
}