Giulio@731: $(document).ready(function() {
Giulio@731:   $("div.toc>p")
Giulio@731:     .toggle(function() { $(this).nextAll().show("normal"); },
Giulio@731: 	    function() { $(this).nextAll().hide("normal"); })
Giulio@731:     .hover(function() { $(this).fadeTo("normal", 0.8); },
Giulio@731: 	   function() { $(this).fadeTo("normal", 0.35); });
Giulio@731: });