Better names for navigation operations.

This commit is contained in:
Bradley M. Kuhn 2014-11-06 22:25:21 -05:00
parent 9730276f9c
commit df3a2c0dc7

View file

@ -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+} \Configure{crosslinks+}
{\IgnorePar\HCode{<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation">\Hnewline {\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} {\HCode{</ul></nav>}\par\ShowPar}
{\IgnorePar\EndP\HCode{<div class="container">\Hnewline {\IgnorePar\EndP\HCode{<div class="container">\Hnewline
<header class="navbar navbar-default navbar-fixed-bottom copyleft-navbar">\Hnewline <header class="navbar navbar-default navbar-fixed-bottom copyleft-navbar">\Hnewline