@@ -45,16 +45,16 @@
<li><a href="/">Wiki</a></li>\Hnewline
<li class="active"><a href="/guide/">Tutorial and Guide</a></li>\Hnewline
</ul></nav></div></header>\Hnewline
}}
\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
<p class="navbar-text navbar-left">License:\Hnewline
<a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/">CC By SA 4.0 International</a>\Hnewline
<img alt=", a Creative Commons License." style="border-width:0;padding-left: 10px" src="https://i.creativecommons.org/l/by-sa/4.0/88x31.png" /></p></p>\Hnewline