auto merge of rust-lang#10986 : adridu59/rust/patch-new, r=alexcrichton

Thanks to @huonw for some mentoring. 🍰
SimonSapin · Dec 20, 2013 · d5d5c50 · d5d5c50
2 parents 810c4de + bf5f2f2
commit d5d5c50
Show file tree

Hide file tree

Showing 3 changed files with 153 additions and 173 deletions.
diff --git a/doc/rust.css b/doc/rust.css
@@ -216,6 +216,10 @@ dd {
     list-style-type: none;
     padding-left: 0px;
 }
+/* Only display one level of hierarchy in the TOC */
+#TOC ul ul {
+    display: none;
+}
 
 sub,
 sup {