From fb258f22de4b1ef633627deda7a36006cae58172 Mon Sep 17 00:00:00 2001
From: Huon Wilson <dbau.pp+github@gmail.com>
Date: Fri, 4 Jul 2014 08:14:15 +1000
Subject: [PATCH] doc: reduce spacing of table of contents.

A margin for the top level list was leaking into nested ones.
---
 src/doc/rust.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/doc/rust.css b/src/doc/rust.css
index b9d585c953c6d..3dd770fd976b2 100644
--- a/src/doc/rust.css
+++ b/src/doc/rust.css
@@ -132,6 +132,7 @@ nav {
     -moz-column-count: 2;
     -webkit-column-count: 2;
     font-size: 15px;
+    margin: 0 0 1em 0;
 }
 p {
     margin: 0 0 1em 0;
@@ -275,7 +276,7 @@ dd {
 
 nav ul {
     list-style-type: none;
-    margin: 0 0 20px 0;
+    margin: 0;
     padding-left: 0px;
 }