Mark Otto 2aec6dae59 Fixes #7730: Better hiding of empty titles in popovers ...

If the popover's title contains no text, hide it via JS. Previously was
done via CSS's `:empty` property, but that doesn't work in IE8, so JS
it is.

/cc @fat becaue I probably did this wrong <3

2013-06-20 16:02:05 -07:00

..

bootstrap.css

Fixes #7730: Better hiding of empty titles in popovers

2013-06-20 16:02:05 -07:00

docs.css

Fix up broken input group example layouts

2013-06-15 11:37:59 -07:00

pygments-manni.css

update pygments highlighting with customizations from preboot

2013-03-16 12:07:00 -07:00