[Ur] Bootstrap 3 library patch

[Adam Chlipala]

On 05/25/2014 06:45 PM, David Snider wrote:
> Some of the style names were conflicting with basis tag names. There 
> might be more but I fixed the ones I found. Attached is a patch.

I believe Patrick Hurst, the author of that code, was aware of that 
problem, so I'd like to hear from him first, about what he thinks of 
this patch.  One downside is that off-the-shelf HTML code using normal 
Bootstrap wouldn't be usable directly.