Re-style tools.
Re-style header.