Add Cargo guide link to the top nav bar.

[birkenfeld]

(This is just a quick change; haven't tested locally if it looks like it is supposed to.)

I think that the links to the cargo docs are much too hard to find at the bottom of the page. (Especially since you can't find it by searching for "doc".) Neither is the "Getting started" button on the index page a good entry point, since it is only present on that page.

This is kind of what #139 suggests, but without the full drop-down.

[alexcrichton]

Can you provide a screenshot of what this ends up looking like?

[birkenfeld]

Here you go:

[alexcrichton]

Thanks! It may be good to keep doc.crates.io in sync with crates.io as much as possible, however. The current deviation is from the "log in" link (the links at the bottom match), so I'm somewhat hesitant to allow the two to deviate more?

[birkenfeld]

Not sure that goal is more important than quick access to the page you want. But I wouldn't mind them to become more in sync by putting the "Documentation" popup from doc.crates.io on crates.io as well (instead of this patch).

BTW, if you want them to be in sync, you might also want to look at the stylesheet - for example, crates.io specifies "Helvetica Neue",...,sans-serif for font-face, while doc.crates.io specifies only sans-serif.

[alexcrichton]

Yeah perhaps we can go that route of adding the whole documentation link instead? I think that's what #139 is basically asking for anyway

[birkenfeld]

I'll see what I can do :)

[birkenfeld]

Updated, new screenshot below. Note that doc.crates.io has a style for dropdowns that makes the "Documentation v" header look depressed and reverses the arrow while the dropdown is open. crates.io doesn't, currently, but neither does it for the user dropdown menu.

[birkenfeld]

Reported the style inconsistencies in #273.

[alexcrichton]

Thanks!

[birkenfeld]

And it's already live. Great!

[alexcrichton]

Aww looks like the spacing may be a bit off though?

[birkenfeld]

I assume you mean the spacing around the separator? The same happens with the user dropdown though.

As long as you're not logged in, there is less space between separator and menu item (there's no dropdown).