Re: Overriding font-family in standard.css and/or Modifying standard.css?

2011-04-06 Thread Terrameks
Thanks for response.

I'm using CssResource, yes...no reference to the CSS file in the HTML
file.

I don't think it is to do with the loadtime in this particular
instance...

Are you able to use a GWT theme and override styles? I don't think I'm
the only one with this problem; I think it's "the way it is"...


On Apr 5, 9:30 pm, Jeff Larsen  wrote:
> It probably has to do with the loadtime of your stylesheets. How are you
> loading your custom style sheets? in the .html file or are you loading them
> via CssResource?

-- 
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 
google-web-toolkit+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/google-web-toolkit?hl=en.



Overriding font-family in standard.css and/or Modifying standard.css?

2011-04-05 Thread Terrameks
Hi,

So, today I noticed it's impossible to override anything that is set
in standard.css (or any of the themes' CSS). For example, I set font-
family in a body selector (body {font-family: whatever}) in my
application's CSS. But if I use a, for example, FlexTable, the font
that in standard.css (body,table td,select{font-family: whatever}) is
used, no matter what.

Now, I could set a style with a font-family for every widget I use,
etc, but this is painful, messy, and duplicating too much. I'm looking
for the proper way to do it, if there is one -- although I'm not sure
sure there is!

There's a few solutions online, all hacky and all messy.

What about simply editing standard.css; I don't like it but it's the
least intrusive of all solutions I've found?


Regards,
Terrameks

-- 
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 
google-web-toolkit+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/google-web-toolkit?hl=en.