Regarding PR270, which involves manually editing the resize.js file to fix the scrollbar, we could update Doxygen to a newer version — 1.17.0 is available.
The scrollbar works with Doxygen 1.17.0 without this edit.
However, the current configuration also provides an additional sidebar by default.
I'm not sure if this provides any valuable extra information, but I prefer the organised overview to the uncollapsed navigation information.
So: It seems to work with the new version, but if we don't want to change anything, we need to check whether it is possible to adjust our configuration.
Regarding PR270, which involves manually editing the resize.js file to fix the scrollbar, we could update Doxygen to a newer version — 1.17.0 is available.
The scrollbar works with Doxygen 1.17.0 without this edit.
However, the current configuration also provides an additional sidebar by default.
I'm not sure if this provides any valuable extra information, but I prefer the organised overview to the uncollapsed navigation information.
So: It seems to work with the new version, but if we don't want to change anything, we need to check whether it is possible to adjust our configuration.