Waseem Daher e5dbf4240e Hide the popover title area if it is empty. ... This makes our popovers-as-menus look a bit better. (imported from commit 53b8be0a4f16fc7a7884b3fcb276a9ab85fe6f24)		2013-06-20 18:42:06 -04:00
..
activity.css	activity: Right-align numeric columns	2012-12-05 11:42:09 -05:00
fonts.css	Fix overflow in stream list and clean up dropdown toggle.	2013-06-12 16:35:48 -04:00
portico.css	Add mixpanel badge to the front page	2013-06-20 12:21:42 -04:00
pygments.css	Add missing Pygments style	2012-09-17 16:16:25 -04:00
zephyr.css	Hide the popover title area if it is empty.	2013-06-20 18:42:06 -04:00