Docs menu doesn't fit on screen

[okwme]

Working on a 1920x1080 (166 ppi) screen the menu is too short to show all items:

Using chrome dev tools to try out standard screensizes results in clipped menu on "Laptop with MDPI screen" (1280x800):

But looks fine when using dev tools option for "Laptop with HiDPI screen" (1440x900):

[kejace]

Unfortunately, this issue belongs here: https://github.com/theam/tintin

I don't consider it worth forking the repo at this point so solve this issue.