Fix missing "toggle" for right-hand navigation

thaJeztah · thaJeztah · commit fbfd22c08fbc · 2020-07-09T12:28:18.000+02:00
This button was accidentally removed when the archives were removed in ba85012 Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
diff --git a/_includes/navigation.html b/_includes/navigation.html
@@ -26,4 +26,7 @@
 
         </ul>
     </div>
+    <div class="ctrl-right">
+        <a href="javascript:void(0)" id="menu-toggle"><i class="fa fa-indent" aria-hidden="true"></i></a>
+    </div>
 </div>
