From c9a88d7e1fbe3dcad75224a203ddf4c41fb6f5d2 Mon Sep 17 00:00:00 2001
From: Eisbehr <git@eisbehr.de>
Date: Mon, 15 May 2017 11:09:05 +0200
Subject: [PATCH 1/2] add jump_buttons config to globals.json

---
 global.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/global.json b/global.json
index 95460ae..527665d 100755
--- a/global.json
+++ b/global.json
@@ -33,6 +33,7 @@
         "search": true,
         "auto_toc": false,
         "inherit_index": false,
+        "jump_buttons": true,
 
         "repo": "",
         "twitter": [],

From dfcf0ce728292e3df735dc7d5d73b965b1861c89 Mon Sep 17 00:00:00 2001
From: Eisbehr <git@eisbehr.de>
Date: Mon, 15 May 2017 11:09:59 +0200
Subject: [PATCH 2/2] check for 'jump_buttons' in templates/content.php

---
 templates/content.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/content.php b/templates/content.php
index 2b2f22e..f98dfe7 100644
--- a/templates/content.php
+++ b/templates/content.php
@@ -22,7 +22,7 @@
         <?= $page['content']; ?>
     </div>
 
-    <?php if (!empty($page['prev']) || !empty($page['next'])) {
+    <?php if ($params['html']['jump_buttons'] && (!empty($page['prev']) || !empty($page['next']))) {
     ?>
     <nav>
         <ul class="Pager">