Documentation web page menu padding

[livius]

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

[robert-hh]

@livius Looks good.

[livius]

thank you for fast update :)

[jmarcelino]

Done - thanks to @seb :)