Applied monokai theme for pygments