The darcula theme from Jetbrains IDEA for pygments