shiftwidth: number of indentation characters inserted