File manager - Edit - /usr/share/javascript/sphinxdoc/1.0/theme_extras.js
Back
$(function() { var toc = $('#toc').show(), items = $('#toc > ul').hide(); $('#toc h3') .click(function() { if (items.is(':visible')) { items.animate({ height: 'hide', opacity: 'hide' }, 300, function() { toc.removeClass('expandedtoc'); }); } else { items.animate({ height: 'show', opacity: 'show' }, 400); toc.addClass('expandedtoc'); } }); });
| ver. 1.4 |
Github
|
.
| PHP 8.2.28 | Generation time: 0.02 |
proxy
|
phpinfo
|
Settings