Changed to improved Monokai theme