Header is missing some menu entries

[oparoz]

This is the header when browsing the documentation

And this is the one when browsing the website

Can you fix it @jospoortvliet ?

[MorrisJobke]

Fix is in #88

[oparoz]

Thanks @MorrisJobke!