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] 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": [],