Always use monokai theme: fixed #1713
Merge pull request #1721 from dinhviethoa/1713-always-use-monokai

Always use monokai theme: fixed #1713