MediaWiki:Common.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Zeile 14: | Zeile 14: | ||
} | } | ||
}).css("border-right", "#d3d3d3 4px ridge"); | }).css("border-right", "#d3d3d3 4px ridge"); | ||
}, | }, 3000); | ||
Version vom 9. Februar 2022, 18:51 Uhr
$(document).ready( function() { var tree = $('#wikitext-sidebar'); $('#p-logo').after( tree.html() ); tree.remove(); $('#siteTree').bind('fancytreeinit', function(event, data) { data.tree.makeTitleVisible(); $('#siteTree').fancytree("option", "icons", false); }); window.setTimeout(function() { $("#siteTree").resizable( { minWidth: 200, maxWidth: 200, handles: "e", stop: function() { $("#content, #left-navigation").css("margin-left", ($(this).width()+25)+"px"); $("#p-logo a").css("width", ($(this).width())+"px"); } }).css("border-right", "#d3d3d3 4px ridge"); }, 3000); $("#siteTree").height($(window).height()-250); $("#p-navigation").remove(); });