HTML formatting fixes.

This commit is contained in:
Bradley M. Kuhn 2014-11-07 01:37:13 -05:00
parent 7186e11281
commit 8100b728a6

View file

@ -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}{\HCode{<li>}}{\HCode{</li>}}{next-section}{prev-at-top}{prev-at-bottom}{jump-to-top}{jump-to-bottom}{up-section}
\Configure{crosslinks+} \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">}} <ul class="nav navbar-nav">}}
{\HCode{</ul></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}} <ul class="nav navbar-nav navbar-right">\Hnewline}}
{\HCode{</ul></nav></div></footer>}} {\HCode{</ul></nav></div></footer>}}