doc: use a pointer cursor only if js is active
[charm.git] / doc / assets / manual.js
1 // Grab all code snippets and paint it to highlight syntax
2 $(document).ready( function() {
3     $("pre code").each( function(idx) {
4         CodeMirror.runMode($(this).text(), "text/x-charm++", $(this).get(0));
5     })
6     .addClass("cm-s-lesser-dark")
7     .children("span.cm-charmkeyword").css("color", "#dd5ef3");
8
9     $(".navigation")
10     .click( function() { $("ul.manual-toc").fadeToggle() } )
11     .mouseleave( function() { $("ul.manual-toc").fadeOut('slow') } )
12     .css('cursor','pointer');
13
14 } )
15