MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
| Line 283: | Line 283: | ||
var nav = document.createElement( 'div' ); | var nav = document.createElement( 'div' ); | ||
nav.id = 'gr-toc-doc-nav'; | nav.id = 'gr-toc-doc-nav'; | ||
nav.setAttribute( 'class', 'toc- | nav.setAttribute( 'class', 'toc-main-links'); | ||
var base = [ | var base = [ | ||
| Line 296: | Line 296: | ||
a.href = href; | a.href = href; | ||
a.textContent = label; | a.textContent = label; | ||
a.setAttribute( 'class', 'toc- | a.setAttribute( 'class', 'toc-main-link-item'); | ||
a.addEventListener( 'mouseover', function () { this.style.opacity = '0.72'; } ); | a.addEventListener( 'mouseover', function () { this.style.opacity = '0.72'; } ); | ||
a.addEventListener( 'mouseout', function () { this.style.opacity = '1'; } ); | a.addEventListener( 'mouseout', function () { this.style.opacity = '1'; } ); | ||