An alternate name for TabBar, which is styled differently to TAB_BAR. This TabBar is more compact, and suitable for tabs containing "documents", whereas TAB_BAR is more suitable for "sections", e.g. grouping preferences.