Added own extension of Monokai theme