changed naming of indent buttons
added indent2 plugin used for right-margin indents