Change Details

Also fixes CSS issues noticed during upgrade: - dl can benefit from more space between blocks - we can reduce vertical scrollbar using vh - avoid #wrapper and <nav> to use more width than the viewport

CSS was using Bootstrap 3.0.3 from 2014. Upgrade to last 3.x release, 3.4.1, from 2019. To upgrade to Bootstrap 5 breaks the navigation and requires more work, so in a first phase, we limit the update by staying in 3.x. From there, we'll be able to explore other options, as: - updating navigation to work with Bootstrap 5 - switch to another framework - refresh the whole interface Also fixes CSS issues noticed during upgrade: - dl can benefit from more space between blocks - we can reduce vertical scrollbar using vh - avoid #wrapper and <nav> to use more width than the viewport

CSS was using Bootstrap 3.0.3 from 2014. Upgrade to last 3.x release, 3.4.1, from 2019. To upgrade to Bootstrap 5 breaks the navigation and requires more work, so in a first phase, we limit the update by staying in 3.x. From there, we'll be able to explore other options, as: - updating navigation to work with Bootstrap 5 - switch to another framework - refresh the whole interface Also fixes CSS issues noticed during upgrade: - dl can benefit from more space between blocks - we can reduce vertical scrollbar using vh - avoid #wrapper and <nav> to use more width than the viewport