Otherwise, if you only really want to change the font and not bother
w/ copying the GWT css, just use the "!important" CSS declaration in
your host page:
body {
font-family: "Times-New Roman" !important;
}
In the interest of being overly pedantic, Times is a proprietary font
generally only found on Windows machines so your page is going to look/
render differently on other OS's.
On Aug 26, 6:50 am, Brian Dorry <[email protected]> wrote:
> Parves, I had a similar issue to yours. What I did was copy the
> stylesheet for the theme I was using, removed the theme declaration
> from the entry point, and referenced the copied stylesheet manually.
> This let me make the GWT styles load before my own set of styles.
>
> On Aug 25, 8:23 am, Parvez Shah <[email protected]> wrote:
>
> > Hello,
> > is there a way to set Font style for complete application, I tried
> > setting the font in the Main.html but to no avail
> > i am trying to set font style "Time new roman" size 16
> > but just cant get it done .. i searched in the samples but there also
> > I could not find any example which does so.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"Google Web Toolkit" group.
To post to this group, send email to [email protected]
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
-~----------~----~----~----~------~----~------~--~---
