MediaWiki:Common.js: различия между версиями

>Edward Chernenko
Нет описания правки
>Edward Chernenko
Нет описания правки
Строка 1: Строка 1:
/* <pre><nowiki> */
/* <pre><nowiki> */
function toggle_toc()
{
  var t = document.getElementById('toc');
  if(t.style.visibility == 'visible')
  {
    t.style.visibility = 'hidden';
    t.style.display = 'none';
  }
  else
  {
    t.style.visibility = 'visible';
    t.style.display = 'block';
  }
}
document.getElementById('toc_switch').onclick = toggle_toc;
document.getElementById('toc').style.visibility = "visible";
document.getElementById('toc').style.display = "none";


/* tooltips and access keys */
/* tooltips and access keys */