diff options
Diffstat (limited to 'resources/ScalaReference.js')
| -rw-r--r-- | resources/ScalaReference.js | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/resources/ScalaReference.js b/resources/ScalaReference.js deleted file mode 100644 index 51be0cf05b..0000000000 --- a/resources/ScalaReference.js +++ /dev/null @@ -1,20 +0,0 @@ -$(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 |