@@ -42,7 +42,7 @@
<span class="icon-bar"></span>\Hnewline
</button>\Hnewline
<img alt="copyleft.org" src="/copyleftorg-green-stylized.png" width="245" height="50"></img>\Hnewline
<img style="margin-bottom: 5px; margin-top: 5px; margin-left: 5px; margin-right: 50px" alt="copyleft.org" src="/copyleftorg-green-stylized.png" width="245" height="50"></img>\Hnewline
</div>\Hnewline
<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation"><ul class="nav navbar-nav">\Hnewline}}
\Configure{@BODY}{\selectpropermenuitem\HCode{<li><a href="/guide/comprehensive-gpl-guide.pdf">PDF</a></li>\Hnewline