From df3a2c0dc7a8c29c0a04c0432671a36207e615e7 Mon Sep 17 00:00:00 2001
From: "Bradley M. Kuhn" <bkuhn@ebb.org>
Date: Thu, 6 Nov 2014 22:25:21 -0500
Subject: [PATCH] Better names for navigation operations.

---
 webhacks.cfg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/webhacks.cfg b/webhacks.cfg
index 5c40153..f79c28b 100644
--- a/webhacks.cfg
+++ b/webhacks.cfg
@@ -48,10 +48,10 @@
 }}
 
 
-\Configure{crosslinks}{\HCode{<li>}}{\HCode{</li>}}{next}{prev-top}{prev-at-bottom}{front}{jump-to-bottom}{up}
+\Configure{crosslinks}{\HCode{<li>}}{\HCode{</li>}}{next-section}{prev-at-top}{prev-at-bottom}{jump-to-top}{jump-to-bottom}{up-section}
 \Configure{crosslinks+}
    {\IgnorePar\HCode{<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation">\Hnewline
-<ul class="nav navbar-nav">}}
+<ul class="nav navbar-nav navbar-center">}}
    {\HCode{</ul></nav>}\par\ShowPar}
    {\IgnorePar\EndP\HCode{<div class="container">\Hnewline
 <header class="navbar navbar-default navbar-fixed-bottom copyleft-navbar">\Hnewline