Hi!
With Bootstrap's Seaside if you write the following:
html tbsNavbar beDefault with: [ '...' ]
This will generate
<div class="nav navbar navbar-default">…</div>
But the Bootstrap documentation recommend this[1]:
<nav class="navbar navbar-default"></nav>
Is there a reason for this? If there is no reason can I have the right on the project to commit a correction?
[1] https://getbootstrap.com/components/#navbar-default
seaside@lists.squeakfoundation.org