From e698a397a8e4ffe545376571c01e413088d9049a Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Thu, 19 Jun 2014 16:12:11 -0700
Subject: [PATCH] doc: Fix margins around tables of contents

There is no space between the TOC and the succeeding para.
---
 src/doc/rust.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc/rust.css b/src/doc/rust.css
index 3957231a195..b9d585c953c 100644
--- a/src/doc/rust.css
+++ b/src/doc/rust.css
@@ -275,7 +275,7 @@ dd {
 
 nav ul {
     list-style-type: none;
-    margin: 0;
+    margin: 0 0 20px 0;
     padding-left: 0px;
 }