From 8100b728a68a66a8552b3d6dea832973437f7e42 Mon Sep 17 00:00:00 2001
From: "Bradley M. Kuhn" <bkuhn@ebb.org>
Date: Fri, 7 Nov 2014 01:37:13 -0500
Subject: [PATCH] HTML formatting fixes.

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

diff --git a/webhacks.cfg b/webhacks.cfg
index 6f0ad5f..dfb35fe 100644
--- a/webhacks.cfg
+++ b/webhacks.cfg
@@ -51,10 +51,10 @@
 
 \Configure{crosslinks}{\HCode{<li>}}{\HCode{</li>}}{next-section}{prev-at-top}{prev-at-bottom}{jump-to-top}{jump-to-bottom}{up-section}
 \Configure{crosslinks+}
-   {\startmymenu\selectmulti\finishmymenu\HCode{<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation">\Hnewline
+   {\HCode{<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation">\Hnewline
 <ul class="nav navbar-nav">}}
    {\HCode{</ul></nav>}}
-   {\HCode{<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation">\Hnewline
+   {\startmymenu\selectmulti\finishmymenu\HCode{<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation">\Hnewline
 <ul class="nav navbar-nav navbar-right">\Hnewline}}
    {\HCode{</ul></nav></div></footer>}}