Revert "Better docs navigation."

This reverts commit d4add2690bf8e71c57debd94b6336b0fd855b33b.