Thanks Patrick, but the directory you provided looks empty to me.
On 2014-05-26 14:07, 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/ [1] 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.
Links:
------
[1] http://web.mit.edu/~phurst/hg/bootstrap/
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
