Website: Simplify the menu.

murraycu · murraycu · commit 4f6cf47ca831 · 2018-03-10T15:02:00.000+01:00
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -13,15 +13,10 @@
     <div id="rightbox">
       <div id="coloredbox">
         <a class="menu" href="index.html">Main</a><br />
-        <a class="menu" href="index.html#features">Features</a><br />
         <a class="menu" href="license.html">License</a><br />
-        <br />
         <a class="menu" href="doc.html">Documentation</a><br />
         <a class="menu" href="stable.html">Download</a><br />
-        <br />
-        <a class="menu" href="devel.html#mail">Mailing List</a><br />
-        <a class="menu" href="devel.html#patches">Patches</a><br />
-        <a class="menu" href="devel.html#git">Git</a><br />
+        <a class="menu" href="devel.html">Development</a><br />
       </div>
     </div>
 
