Website upgraded to the latest Bootstrap with a few tweaks to the look and functional

[DP News-Robot]

Our website looks a bit different all around since last week ? We have upgraded the underlying Bootstrap (which serves as the base for our look) from version 3 (rather ancient at this point) to the latest 5.3. We took this opportunity to make some small improvements: dark-themed navigational bar, navigational bar properly collapsing on …