os default theme: tweak margin on login screen tabs.#2280