Fix #4921, proper use of the $tabbar-line-height variable