From 98633de498f9dc7132eed2dddf1c9acf997f18f3 Mon Sep 17 00:00:00 2001
From: Mathieu David <mathieudavid@mathieudavid.org>
Date: Thu, 11 Jun 2015 21:50:34 +0200
Subject: [PATCH] Add class to last paragraph that contains next and previous
 navigation links to add bigger margin

---
 src/rustbook/css.rs        | 4 ++++
 src/rustbook/javascript.rs | 1 +
 2 files changed, 5 insertions(+)

diff --git a/src/rustbook/css.rs b/src/rustbook/css.rs
index 33517e7cf646..11d8a034c600 100644
--- a/src/rustbook/css.rs
+++ b/src/rustbook/css.rs
@@ -163,6 +163,10 @@ pre {
     border-radius: 3px;
 }
 
+.nav-previous-next {
+    margin-top: 60px;
+}
+
 .left {
     float: left;
 }
diff --git a/src/rustbook/javascript.rs b/src/rustbook/javascript.rs
index f33b79cc1888..69124372260c 100644
--- a/src/rustbook/javascript.rs
+++ b/src/rustbook/javascript.rs
@@ -54,6 +54,7 @@ document.addEventListener("DOMContentLoaded", function(event) {
   for (var i = 0; i < toc.length; i++) {
     if (toc[i].attributes['href'].value.split('/').pop() === href) {
       var nav = document.createElement('p');
+      nav.className = 'nav-previous-next'
       if (i > 0) {
         var prevNode = toc[i-1].cloneNode(true);
         prevNode.className = 'left';