Added code for controlling the tab title margins.