A convert of the Monokai theme for BBEdit