Add doc links to main bar and mobile tweaks

There was no way to navigate documentation when the in-page table of
contents became invisible