php のインデント幅を 4 にした
diff-mode をカラフルに