doc: use a pointer cursor only if js is active
[charm.git] / doc / assets / manual.js
index c11eed0ba46ddc9e40a2175c93af79a053610a15..74e40a20757b51e6a144dd6ff53a03aad51b0b04 100644 (file)
@@ -6,7 +6,10 @@ $(document).ready( function() {
     .addClass("cm-s-lesser-dark")
     .children("span.cm-charmkeyword").css("color", "#dd5ef3");
 
-               $(".navigation").click( function() { $("ul.manual-toc").fadeToggle() } );
-               $(".navigation").mouseleave( function() { $("ul.manual-toc").fadeOut('slow') } );
+    $(".navigation")
+    .click( function() { $("ul.manual-toc").fadeToggle() } )
+    .mouseleave( function() { $("ul.manual-toc").fadeOut('slow') } )
+    .css('cursor','pointer');
+
 } )