songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tweak the appearance (CSS)

This commit is contained in:
Laurent Rineau 2018-04-13 18:23:34 +02:00
parent 214034139d
commit 2dae477bb1
3 changed files with 12 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Documentation/doc/resources/1.8.13/menu_version.js
View File

@ -55,16 +55,17 @@
} }
$(document).ready(function() { $(document).ready(function() {
var motherNode=document.getElementById("back-nav"); var motherNode=$("#back-nav ul")[0];
var node = document.createElement("LI"); var node = document.createElement("LI");
var spanNode = document.createElement("SPAN"); var spanNode = document.createElement("SPAN");
var titleNode =document.createTextNode("CGAL Version: "); var titleNode =document.createTextNode("CGAL Version: ");
var textNode = document.createTextNode("4.11"); var textNode = document.createTextNode("x.y");
spanNode.setAttribute("class", "version_menu"); spanNode.setAttribute("class", "version_menu");
spanNode.appendChild(textNode); spanNode.appendChild(textNode);
node.appendChild(titleNode); node.appendChild(titleNode);
node.appendChild(spanNode); node.appendChild(spanNode);
motherNode.insertBefore(node, motherNode.firstChild); motherNode.insertBefore(node, motherNode.firstChild);
$("#back-nav").css("padding-top", "0").css("padding-bottom", "0");
var match = url_re.exec(window.location.href); var match = url_re.exec(window.location.href);
if (match) { if (match) {
var version = match[2]; var version = match[2];

5
Documentation/doc/resources/1.8.14/menu_version.js
View File

@ -55,16 +55,17 @@
} }
$(document).ready(function() { $(document).ready(function() {
var motherNode=document.getElementById("back-nav"); var motherNode=$("#back-nav ul")[0];
var node = document.createElement("LI"); var node = document.createElement("LI");
var spanNode = document.createElement("SPAN"); var spanNode = document.createElement("SPAN");
var titleNode =document.createTextNode("CGAL Version: "); var titleNode =document.createTextNode("CGAL Version: ");
var textNode = document.createTextNode("4.11"); var textNode = document.createTextNode("x.y");
spanNode.setAttribute("class", "version_menu"); spanNode.setAttribute("class", "version_menu");
spanNode.appendChild(textNode); spanNode.appendChild(textNode);
node.appendChild(titleNode); node.appendChild(titleNode);
node.appendChild(spanNode); node.appendChild(spanNode);
motherNode.insertBefore(node, motherNode.firstChild); motherNode.insertBefore(node, motherNode.firstChild);
$("#back-nav").css("padding-top", "0").css("padding-bottom", "0");
var match = url_re.exec(window.location.href); var match = url_re.exec(window.location.href);
if (match) { if (match) {
var version = match[2]; var version = match[2];

5
Documentation/doc/resources/1.8.4/menu_version.js
View File

@ -55,16 +55,17 @@
} }
$(document).ready(function() { $(document).ready(function() {
var motherNode=document.getElementById("back-nav"); var motherNode=$("#back-nav ul")[0];
var node = document.createElement("LI"); var node = document.createElement("LI");
var spanNode = document.createElement("SPAN"); var spanNode = document.createElement("SPAN");
var titleNode =document.createTextNode("CGAL Version: "); var titleNode =document.createTextNode("CGAL Version: ");
var textNode = document.createTextNode("4.11"); var textNode = document.createTextNode("x.y");
spanNode.setAttribute("class", "version_menu"); spanNode.setAttribute("class", "version_menu");
spanNode.appendChild(textNode); spanNode.appendChild(textNode);
node.appendChild(titleNode); node.appendChild(titleNode);
node.appendChild(spanNode); node.appendChild(spanNode);
motherNode.insertBefore(node, motherNode.firstChild); motherNode.insertBefore(node, motherNode.firstChild);
$("#back-nav").css("padding-top", "0").css("padding-bottom", "0");
var match = url_re.exec(window.location.href); var match = url_re.exec(window.location.href);
if (match) { if (match) {
var version = match[2]; var version = match[2];