Change a gui font to Menlo
Add python indentation settings