mozilla/rust — pull request #9868 by adridu59 (2013-10-15 19:06:54+00:00)
Title: doc/rustdoc: a few improvements

- switch pandoc to HTML5, add tutorial PDF gen.
- cleanup and refactor CSS, expand tutorial/manual CSS +some Bootstrap elements, cleanup unused doc/lib.css
you can see it here in action: http://adrientetar.legtux.org/cached/rust-doc/rust.html
- minor rustdoc cleanups

@alexcrichton