imports initiaux aussi

darcs-hash:20060416193729-f46e9-8266479d864f4a2e2a7d12d598935233f0721101.gz
This commit is contained in:
gdetrez 2006-04-16 21:37:29 +02:00
parent 25b5912c20
commit 3bfec155aa
4 changed files with 200 additions and 0 deletions

View file

@ -0,0 +1,35 @@
/*<!-- table of contents -->*/
#tableOfContents, #tableOfContents p {
display:block;
}
#tableOfContents {
display:block;
float:left;
border: 1px solid #aaaaaa;
padding:5px;
background:#e9e9e9;
margin:20px;
}
#tableOfContents ol {
margin:0;
padding:0 0 0 20px;
}
#tableOfContents ol li {
margin:2px;
}
#tableOfContents h2 {
border:none;
font-size:110%;
font-weight:bold;
padding:0;
margin:5px 0;
text-align:center;
}
#tableOfContents span.toctoggle {
font-size:x-small;
font-weight:normal;
}
.visualClear {clear:both;}

View file

@ -0,0 +1,62 @@
var TOCState = "visible"
function replaceChildNodes(node/*, nodes...*/) {
var elem = document.getElementById(node);
elem.firstChild = "ee";
return
};
function showTocToggle() {
if (document.createTextNode) {
// Uses DOM calls to avoid document.write + XHTML issues
var linkHolder = document.getElementById('toctitle')
if (!linkHolder)
return;
var outerSpan = document.createElement('span');
outerSpan.className = 'toctoggle';
var toggleLink = document.createElement('a');
toggleLink.id = 'togglelink';
toggleLink.className = 'internal';
toggleLink.href = 'javascript:toggleToc()';
toggleLink.appendChild(document.createTextNode('masquer'));
outerSpan.appendChild(document.createTextNode('['));
outerSpan.appendChild(toggleLink);
outerSpan.appendChild(document.createTextNode(']'));
linkHolder.appendChild(document.createTextNode(' '));
linkHolder.appendChild(outerSpan);
var cookiePos = document.cookie.indexOf("hidetoc=");
if (cookiePos > -1 && document.cookie.charAt(cookiePos + 8) == 1)
toggleToc();
}
}
function changeText(el, newText) {
// Safari work around
if (el.innerText)
el.innerText = newText;
else if (el.firstChild && el.firstChild.nodeValue)
el.firstChild.nodeValue = newText;
}
function toggleToc() {
var toc = document.getElementById('tableOfContentsList');
var toggleLink = document.getElementById('togglelink')
if (toc && toggleLink && toc.style.display == 'none') {
changeText(toggleLink, 'masquer');
toc.style.display = 'block';
document.cookie = "hidetoc=0";
} else {
changeText(toggleLink, 'afficher');
toc.style.display = 'none';
document.cookie = "hidetoc=1";
}
}
showTocToggle();