[Webkit-unassigned] [Bug 21408] New: Need a way to have platform-specific user-agent stylesheets

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=21408

           Summary: Need a way to have platform-specific user-agent
                    stylesheets
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: PC
        OS/Version: Mac OS X 10.5
            Status: UNCONFIRMED
          Severity: Normal
          Priority: P2
         Component: CSS
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: ojan at chromium.org


As an example, in Chromium and presumably in whatever builds use
RenderThemeWin, we don't want rounded-corners on select elements.

Right now, Chromium just add some CSS to the end of html4.css and quirks.css
with our overrides, but in order to do so we've needed to fork
DerivedSources.make.

I'm open to any solution. In general, it seems like we might want a mechanism
for platform specific user-agent stylesheets.


-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.