This includes support for themed toolbar, remote debugging routines, removes a couple of obsolete overrides from the DevTools.js
Created attachment 115141 [details] Patch
Committed r100269: <http://trac.webkit.org/changeset/100269>
Reopening due to rollback in bug 72383.
Committed r100277: <http://trac.webkit.org/changeset/100277>