From b3a8ec781d92f93b2a9ffd8300bebe93832d76e2 Mon Sep 17 00:00:00 2001
From: Jost Schmithals <jost.schmithals@musikalisches-zentrum-hx.de>
Date: Wed, 29 Mar 2017 12:55:43 +0200
Subject: [PATCH] navigation: new tab with right click

---
 docs/index.css  | 9 +--------
 docs/index.html | 6 +++++-
 2 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/docs/index.css b/docs/index.css
index a24998984c..82d606b703 100644
--- a/docs/index.css
+++ b/docs/index.css
@@ -50,18 +50,11 @@ h3 {
     margin-left: 20px;
 }
 
-a, li span {
-    color: #2194CE;
-}
-
 a {
+    color: #2194CE;
     text-decoration: none;
 }
 
-li span {
-    cursor: pointer;
-}
-
 #panel {
     position: fixed;
     left: 0px;
diff --git a/docs/index.html b/docs/index.html
index 1ed7bdd245..f1eaeab893 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -125,7 +125,11 @@
                         var pageURL = pages[ pageName ];
 
                         var listElement = createAndAppendDOMElement( { type: 'li', parent: categoryContent } );
-                        var linkElement = createAndAppendDOMElement( { type: 'span', parent: listElement, content: pageName } );
+                        var linkElement = createAndAppendDOMElement( { type: 'a', parent: listElement, content: pageName } );
+
+                        // The href attribute is only used for the option to create a new tab by right click
+
+                        linkElement.setAttribute( 'href', '#' + pageURL );
 
                         addClickHandlers( linkElement, pageURL );
 
-- 
GitLab