Bug fixes, working code
[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     .append('<span id="pulldowntab" class="navsymbol">&raquo;</span>')
11     .click( function() { $("ul.manual-toc").fadeToggle(); $("#pulldowntab").toggle(); } )
12     .mouseleave( function() { $("ul.manual-toc").fadeOut('slow'); $("#pulldowntab").fadeIn('slow'); } )
13     .css('cursor','pointer');
14
15 } )
16