shorter tab titles in html for less wrapping on narrow screens