A dark theme for chrome's dev tools