This is due to IE default font size rendering and has nothing to do with GWT but rather with CSS styling.
You can ensure that fonts are consistent over multiple browser with a CSS like that (for instance):
*
{
font-family: Arial, sans-serif;
font-size: 12pt;
}
body, table td, a, div, .p, pre
{
font-family: Arial, sans-serif;
font-size: 12pt;
}
EDIT:
To ensure all widgets "get" this new style you need to put your CSS file in the *.gwt.xml file in the following way (the order of lines is important):
<inherits name='com.google.gwt.user.theme.standard.Standard' />
<stylesheet src="MyNewAndImprovedStyle.css" />
don't put it in the HTML page!
This will ensure that your style override the widget styles.
PS: You might override some widget styles by hand (I have a GwtOverride.css for that purpose) ... see snippet:
.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;
}