fixes #79: repair button size increased
repair button size increased
Merge branch 'hotfix/defect_79'