auto merge of #9960 : adridu59/rust/patch-doc-limited, r=alexcrichton

This is #9868 but doesn't move css files to a separate subfolder, which was causing errors on the Rust buildbot.

@alexcrichton

Author: bors

.gitignore

@@ -77,7 +77,7 @@ src/.DS_Store
 /nd/
 /llvm/
 version.md
-rust.tex
+*.tex
 keywords.md
 x86_64-apple-darwin/
 x86_64-unknown-linux-gnu/

doc/README

@@ -19,7 +19,7 @@ To generate HTML documentation from one source file/crate, do something like:
 To generate an HTML version of a doc from Markdown, without having Node.js
 installed, do something like:
 
-  pandoc --from=markdown --to=html --number-sections -o rust.html rust.md
+  pandoc --from=markdown --to=html5 --number-sections -o rust.html rust.md
 
 The syntax for pandoc flavored markdown can be found at:
 http://johnmacfarlane.net/pandoc/README.html#pandocs-markdown

doc/lib.css

@@ -0,0 +1,7 @@
+<style>
+  /* Display the full TOC */
+  #TOC ul ul {
+    display: block;
+    padding-left: 2em;
+  }
+</style>