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