Waseem Daher 06fa574f29 Give popovers variable widths. ... (imported from commit 3f38e8a35add3f7f5566d5712b4421f8e2e44776)		2012-10-29 15:02:25 -04:00
..
html	Switch from Open Sans to Droid Sans	2012-10-29 13:02:31 -04:00
js	Disable pointer sync for alpha rollout	2012-10-29 14:18:08 -04:00
styles	Give popovers variable widths.	2012-10-29 15:02:25 -04:00
third	Add jQuery highlight plugin, for use by search.	2012-10-26 14:29:30 -04:00
robots.txt	Add robots.txt	2012-10-17 15:04:33 -04:00