Just thought that this kind of styles are something that specific applications need globally, instead of something a widget infrastructure needs? (Though I use this kind of styles for most of my applications)