Change the indent size of pseudo code