[webkit-dev] Themes extending the style

[Maciej Stachowiak]

Hyatt and I as well as some Chrome developers were involved in a  
discussion recently about how themes/ports should customize the user  
agent stylesheet.

I think the following is the case currently:

- Most ports do not change the UA stylesheet at all.
- Chromium (not in the main tree yet) has a changed UA stylesheet with  
some rules appended at the end.
- The Qt port replaces the UA stylesheet wholesale.

Those of us involved in the discussion concluded that the best way to  
do this was to let RenderTheme subclasses add rules to the UA  
stylesheet, so that the core style rules can be in one place, but  
themes can adjust theme-specific style details that happen to be done  
with CSS rules.

Ojan was kind enough to file this bug with the suggestion: https://bugs.webkit.org/show_bug.cgi?id=22051

I'm posting this as a heads-up to other porters, particularly the Qt  
port.

Regards,
Maciej

P.S. As a side note, we really should rename html4.css to html5.css or  
just html.css.

Regards,
Maciej