rustdoc: design fixes and changes#13776

Merged

bors merged 4 commits intorust-lang:masterfrom

adrientetar:rustdoc-fix

Apr 30, 2014

Commits on Apr 26, 2014

rustdoc: refactor and unstyle inline section headers
adrientetar
committed

Commits on Apr 27, 2014

Commits on Apr 28, 2014

rustdoc: fix a few inconsistencies
adrientetar
committed