DarkTheme — color scheme for WebStorm