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