Changed default theme to "molokai"