I actually have a commit that I apparently only pushed to my local copy of the repository (it's accessible at http://web.mit.edu/~phurst/hg/bootstrap/or the corresponding Athena AFS path) that splits out Bootstrap 2 and Bootstrap 3 into separate files; in Bootstrap 3 (the one I've been using), the convention I used is to prefix conflicting names with bs3 (so bs3-h1, bs3-h2, etc.). I personally think the benefit of not having to play renaming games with the tag names is worth the small downside of not being able to directly copy-paste code in, since any errors will show up at compile time.
On Mon, May 26, 2014 at 9:55 AM, Adam Chlipala <[email protected]> wrote: > 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. >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
