use monokai theme.
gettext support.