The front end contains a mix of Bootstrap elements and W3. The original prototype (early 2022) used Bootstrap elements. Newer elements (navbar, license.html, maybe others; late 2022) use W3 elements.
Bootstrap alternatives exist for a navbar and for the elements used in license.html.
Navbar changes are a lower priority as it will likely be replaced with a navbar consistent with the landing page; however, it may be a priority for end users: Ruth, John
The front end contains a mix of Bootstrap elements and W3. The original prototype (early 2022) used Bootstrap elements. Newer elements (navbar, license.html, maybe others; late 2022) use W3 elements.