Implement Indentation for gui

Added space between proof lines to increase readability