diff options
Diffstat (limited to 'resources/ScalaReference.js')
-rw-r--r-- | resources/ScalaReference.js | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/resources/ScalaReference.js b/resources/ScalaReference.js new file mode 100644 index 0000000000..51be0cf05b --- /dev/null +++ b/resources/ScalaReference.js @@ -0,0 +1,20 @@ +$(function() { + + var popoutTOC = $('<div>'); + popoutTOC.attr('id', 'popoutTOC'); + + var popoutTOChead = $('<span class="head">Jump to...</span>'); + popoutTOChead.appendTo(popoutTOC); + + var content = $('<div class="links">'); + $('#TOC > *').clone().appendTo(content); + content.appendTo(popoutTOC); + var enter = function() { content.css('display', 'block') }; + var exit = function() { content.css('display', 'none') }; + + popoutTOC.hover(enter, exit); + + // disabled for now, until better styled + // popoutTOC.appendTo($('body')); + +})
\ No newline at end of file |