Added an extended Monokai theme