Compatibility patch for Tabbrowser Extensions: the default theme on Mac OS X - View it on GitHub