fix github web editor indentation