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

Note: favicon seems unnecessary, browsers (incl. the olds!) fetch it from
favicon.ico in the root directory.