How can I change GWT's widget CSS values?
        Posted  
        
            by 
                Xorty
            
        on Stack Overflow
        
        See other posts from Stack Overflow
        
            or by Xorty
        
        
        
        Published on 2011-01-03T15:44:08Z
        Indexed on 
            2011/01/03
            15:55 UTC
        
        
        Read the original article
        Hit count: 317
        
Basically, I like default theme widgets. However, I need to change font size on DecoratedStackPanel widget.
I think it should be possible with something like this:
decoratedStackPanel.getElement().getStyle().setProperty("fontSize", "12pt");
However, "fontSize" is not valid name for property and I didn't find way how to get all element's properties. Therefore, I don't know correct property name.
Any ideas?
Please, don't post about inheriting widget or writing custom CSS. I like default one but the font size. This should be possible afaik.
© Stack Overflow or respective owner