A theme for Chrome Developer Tools