[Ur] Bootstrap 3 library patch

[David Snider]

Found some more.

On 2014-05-25 18:45, 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.
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch2.diff
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140525/c4422705/attachment.ksh>