Change margin of tabs
Fix line numbers in file browser
No need to refresh statuses

Statuses are inherited from the previous commit in a pull request,
therefore there is not need to refresh these