doc: tidy and cleanup CSS deps, add tutorial PDF generation
doc: expand tutorial/manual CSS

Cleanup, edit, add some Bootstrap v3.0.0 elements.
rustdoc: nitpicks & cleanup
doc: fix links to comply with the new rustdoc

Closes #9911.