doc: add padding in the sidebar column
When doc pages are too long, the sidebar nav menu gets a bit ugly.
Checklist
-
make -j4 test
(UNIX), orvcbuild test
(Windows) passes -
commit message follows commit guidelines
Do not update/delete: Banner broadcast message test data
Do not update/delete: Notification broadcast message test data
When doc pages are too long, the sidebar nav menu gets a bit ugly.
make -j4 test
(UNIX), or vcbuild test
(Windows) passes