doc: add padding in the sidebar column
When doc pages are too long, the sidebar nav menu gets a bit ugly.
Before
After
Checklist
-
make -j4 test(UNIX), orvcbuild test(Windows) passes -
commit message follows commit guidelines
When doc pages are too long, the sidebar nav menu gets a bit ugly.
Before
After
make -j4 test (UNIX), or vcbuild test (Windows) passes