mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	This is mostly adding markup, calling some convenient functions in buddy_data.js, and adjusting CSS. To make the circles update dynamically, I mostly orchestrate this though activity.js for now. It's possible we'll want to adjust that eventually to happen through something like a `presence_events` dispatcher, but that's essentially what a good part of `activity.js` does now.