restoring Monokai (was accidentally deleted)