Documentation web page menu padding
Documentation menu padding.
Now menu have padding set to 10px
Please change it to 1px it is now too big and only few topix are visible at one time
on the left is 1px on the right is 10px
![alt text]( image url)
@livius Looks good.
thank you for fast update :)
Done - thanks to @seb :)