OK, figured it out, posting details here for future reference of
others:
Easy, just set the .html-face css property:
.buttonBarPushButton-up .html-face{
color:orange;
}
Cheers,
Mark
On Nov 5, 8:27 am, mwaschkowski <[EMAIL PROTECTED]> wrote:
> I updated my css for a pushbutton to change the font size:
> .gwt-PushButton-up,
> .gwt-PushButton-up-hovering,
> .gwt-PushButton-up-disabled,
> .gwt-PushButton-down,
> .gwt-PushButton-down-hovering,
> .gwt-PushButton-down-disabled {
> margin: 0;
> text-decoration: none;
> font-size:6px;
> background: url("images/hborder.png") repeat-x 0px -27px;
>
> }
>
> but the font does not change size, what is the correct way to do this?
>
> Thanks,
>
> Mark
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
