Thanks, now I see those are tabs. I didn't know Github indentation style is customizable. Interesting.