Repair settings fixes

- various fixes to repair_settings.php
- modernized the UI a little bit, hope it's OK ...