From 2dae477bb15f1bfbd2e2a5a507a0b36889155f8f Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Fri, 13 Apr 2018 18:23:34 +0200
Subject: [PATCH] Tweak the appearance (CSS)

---
 Documentation/doc/resources/1.8.13/menu_version.js | 7 ++++---
 Documentation/doc/resources/1.8.14/menu_version.js | 7 ++++---
 Documentation/doc/resources/1.8.4/menu_version.js  | 7 ++++---
 3 files changed, 12 insertions(+), 9 deletions(-)

diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index 747bdc92d6a..6bd5b1f4f57 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -37,7 +37,7 @@
   }
 
   function patch_url(url, new_version) {
-    if(url.includes("doc.cgal.org")||url.includes("cgal.geometryfactory.com")){
+    if(url.includes("doc.cgal.org")||url.includes("cgal.geometryfactory.com")){  
       return url.replace(url_re, 'doc.cgal.org/' + new_version + '/');
     }
     else{
@@ -55,16 +55,17 @@
   }
 
   $(document).ready(function() {
-      var motherNode=document.getElementById("back-nav");
+      var motherNode=$("#back-nav ul")[0];
       var node = document.createElement("LI");
       var spanNode = document.createElement("SPAN");
       var titleNode =document.createTextNode("CGAL Version: "); 
-      var textNode = document.createTextNode("4.11");
+      var textNode = document.createTextNode("x.y");
       spanNode.setAttribute("class", "version_menu");
       spanNode.appendChild(textNode);
       node.appendChild(titleNode);
       node.appendChild(spanNode);
       motherNode.insertBefore(node, motherNode.firstChild);
+      $("#back-nav").css("padding-top", "0").css("padding-bottom", "0");
       var match = url_re.exec(window.location.href);
       if (match) {
         var version = match[2];
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index 747bdc92d6a..6bd5b1f4f57 100644
--- a/Documentation/doc/resources/1.8.14/menu_version.js
+++ b/Documentation/doc/resources/1.8.14/menu_version.js
@@ -37,7 +37,7 @@
   }
 
   function patch_url(url, new_version) {
-    if(url.includes("doc.cgal.org")||url.includes("cgal.geometryfactory.com")){
+    if(url.includes("doc.cgal.org")||url.includes("cgal.geometryfactory.com")){  
       return url.replace(url_re, 'doc.cgal.org/' + new_version + '/');
     }
     else{
@@ -55,16 +55,17 @@
   }
 
   $(document).ready(function() {
-      var motherNode=document.getElementById("back-nav");
+      var motherNode=$("#back-nav ul")[0];
       var node = document.createElement("LI");
       var spanNode = document.createElement("SPAN");
       var titleNode =document.createTextNode("CGAL Version: "); 
-      var textNode = document.createTextNode("4.11");
+      var textNode = document.createTextNode("x.y");
       spanNode.setAttribute("class", "version_menu");
       spanNode.appendChild(textNode);
       node.appendChild(titleNode);
       node.appendChild(spanNode);
       motherNode.insertBefore(node, motherNode.firstChild);
+      $("#back-nav").css("padding-top", "0").css("padding-bottom", "0");
       var match = url_re.exec(window.location.href);
       if (match) {
         var version = match[2];
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index 747bdc92d6a..6bd5b1f4f57 100644
--- a/Documentation/doc/resources/1.8.4/menu_version.js
+++ b/Documentation/doc/resources/1.8.4/menu_version.js
@@ -37,7 +37,7 @@
   }
 
   function patch_url(url, new_version) {
-    if(url.includes("doc.cgal.org")||url.includes("cgal.geometryfactory.com")){
+    if(url.includes("doc.cgal.org")||url.includes("cgal.geometryfactory.com")){  
       return url.replace(url_re, 'doc.cgal.org/' + new_version + '/');
     }
     else{
@@ -55,16 +55,17 @@
   }
 
   $(document).ready(function() {
-      var motherNode=document.getElementById("back-nav");
+      var motherNode=$("#back-nav ul")[0];
       var node = document.createElement("LI");
       var spanNode = document.createElement("SPAN");
       var titleNode =document.createTextNode("CGAL Version: "); 
-      var textNode = document.createTextNode("4.11");
+      var textNode = document.createTextNode("x.y");
       spanNode.setAttribute("class", "version_menu");
       spanNode.appendChild(textNode);
       node.appendChild(titleNode);
       node.appendChild(spanNode);
       motherNode.insertBefore(node, motherNode.firstChild);
+      $("#back-nav").css("padding-top", "0").css("padding-bottom", "0");
       var match = url_re.exec(window.location.href);
       if (match) {
         var version = match[2];