Switched various files to monokai theme