fixed a bug whihc caused suboals to not disappear when proof finished
fixed alignment and size issues
added compile to offset functionality
up button working