A dark theme for Chrome Developer Tools