Have left margin on all header right buttons.

To prevent a tip (or other unknown content) jutting up against.
Fix pre-commit hook for editing dependent files.