I think two decisions need to be made: 1. Tabs vs spaces. 2. If spaces, what is the indent depth? Apart from that, people should be able to do whatever the he

I think two decisions need to be made: 1. Tabs vs spaces. 2. If spaces, what is the indent depth? Apart from that, people should be able to do whatever the hell they want, within reason.