make current tab pop out more in tab bar (currently hardly visible, especially since latest nightly build july 30)
By timot...@google.com on July 31, 2014 18:13 (imported from Google Code)
make current tab pop out more in tab bar (currently hardly visible, especially since latest nightly build july 30)