Don't bite my head off, but you *are* amending the right html file aren't you? It's personal experience talking here :-)
It might also be worth (before the next suggestions) clearing out the IE cache, and deleting any /bin/ and /tomcat/ and /www/ directories in any other projects that might be getting picked up. Then highlighting the project and pressing F5, then going to Project | Clean... and cleaning the lot Then I think I would probably install (i.e. extract) Eclipse to another location as well as where it is now, create a new workspace, and try running a newly-created test project. If that doesn't work, it would seem to be something outside Eclipse/GWT. If it *does* work, then I'd just switch to the new copy of Eclipse. Out of interest, I'd probably try the old (non-working) project in the new Eclipse just to see what happens. Ian http://examples.roughian.com 2008/10/28 sibiquin <[EMAIL PROTECTED]> > > I added the <style> tag you suggested to the <head> section of the > HTML. The font family displayed correctly, but the size has no > effect. > > As another experiment I installed Eclipse and GWT 1.5.3 on another > machine and it works fine there - both machines are Windows XP Pro > SP2. I have no clue as to what might cause this -- I have seen no > font problems in any other applications on this system. > > Any ideas? > > On Oct 27, 5:26 pm, "Ian Bambury" <[EMAIL PROTECTED]> wrote: > > Well, there would seem to be 2 possibilities: > > 1) It's getting overridden > > > > 2) It's not getting picked up > > > > try putting this in your HTML > > > > <style> > > .gwt-Button > > { > > font-family: Courier New; > > font-size: 50pt !important; > > } > > </style> > > > > and see if the !important makes a difference > > > > Ian > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to Google-Web-Toolkit@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/Google-Web-Toolkit?hl=en -~----------~----~----~----~------~----~------~--~---