hello, I can't figure out how to specify a different indentation size for a project (rather than using the default indentation size, defined in Preferences). thanks a lot, Stan.