Merge commit '021856d7a1f6d6e1a22973d1e5e057f07bf74eb7' * commit '021856d7a1f6d6e1a22973d1e5e057f07bf74eb7': New, darker tab widgets for the platform.