1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/it/web/hgbook.js	Mon Oct 26 16:12:39 2009 +0100
     1.3 @@ -0,0 +1,7 @@
     1.4 +$(document).ready(function() {
     1.5 +  $("div.toc>p")
     1.6 +    .toggle(function() { $(this).nextAll().show("normal"); },
     1.7 +	    function() { $(this).nextAll().hide("normal"); })
     1.8 +    .hover(function() { $(this).fadeTo("normal", 0.8); },
     1.9 +	   function() { $(this).fadeTo("normal", 0.35); });
    1.10 +});