Chrome extension for themeing Google Code Search Website for Chromium