A basic Chrome extension that overrides Jenkins stylesheets to make it pretty