T12a Data Display: badges, tags, avatars, statistics (review pending: codex 401)

src/theme/mod.rs

@@ -7,7 +7,9 @@ use gpui::{App, Global, SharedString, WindowAppearance};
 
 use crate::motion;
 pub use palette::{Mix, Palette, Syntax};
-pub use tokens::{ContainerSize, ControlSize, Density, Elevation, IconSize, Radius, TextSize};
+pub use tokens::{
+    AvatarSize, ContainerSize, ControlSize, Density, Elevation, IconSize, Radius, TextSize,
+};
 
 const FRAME: Duration = Duration::from_millis(8);