I've pushed Patrick's additions to the public repo. David, it's a
slightly different naming convention than yours, but it should serve the
same purpose. Let me know if some further compensating changes are
needed to add functionality that you added in a different way.
On 05/26/2014 02:07 PM, Patrick Hurst wrote:
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/
<http://web.mit.edu/%7Ephurst/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]
<mailto:[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
