From 9730276f9cdf835002cfe6b6aff58387bc5d671d Mon Sep 17 00:00:00 2001 From: "Bradley M. Kuhn" Date: Thu, 6 Nov 2014 22:24:36 -0500 Subject: [PATCH] Don't necessarily move to right for navbar on top. --- webhacks.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webhacks.cfg b/webhacks.cfg index 85440a6..5c40153 100644 --- a/webhacks.cfg +++ b/webhacks.cfg @@ -51,7 +51,7 @@ \Configure{crosslinks}{\HCode{
  • }}{\HCode{
  • }}{next}{prev-top}{prev-at-bottom}{front}{jump-to-bottom}{up} \Configure{crosslinks+} {\IgnorePar\HCode{}\par\ShowPar} {\IgnorePar\EndP\HCode{
    \Hnewline