Actually thinking about it a little...
WebKit already computes the styles for you, you can get the computed values using a javascript to python bridge. Then just set a high specificty CSS selector for that element that overrides the computed values where they differ from the defaults
|