diff options
Diffstat (limited to 'platform/darwin/docs/theme/assets/js/jazzy.js')
m--------- | platform/darwin/docs/theme | 0 | ||||
-rwxr-xr-x | platform/darwin/docs/theme/assets/js/jazzy.js | 47 |
2 files changed, 0 insertions, 47 deletions
diff --git a/platform/darwin/docs/theme b/platform/darwin/docs/theme new file mode 160000 +Subproject 22c2edaa33a17255f9b99ff28748a788211ab74 diff --git a/platform/darwin/docs/theme/assets/js/jazzy.js b/platform/darwin/docs/theme/assets/js/jazzy.js deleted file mode 100755 index e07f181acc..0000000000 --- a/platform/darwin/docs/theme/assets/js/jazzy.js +++ /dev/null @@ -1,47 +0,0 @@ -window.jazzy = {'docset': false} -if (typeof window.dash != 'undefined') { - document.documentElement.className += ' dash' - window.jazzy.docset = true -} -if (navigator.userAgent.match(/xcode/i)) { - document.documentElement.className += ' xcode' - window.jazzy.docset = true -} - -// On doc load, toggle the URL hash discussion if present -$(document).ready(function() { - if (!window.jazzy.docset) { - var linkToHash = $('a[href="' + window.location.hash +'"]'); - linkToHash.trigger("click"); - } -}); - -// On token click, toggle its discussion and animate token.marginLeft -$(".token").click(function(event) { - if (window.jazzy.docset) { - return; - } - var link = $(this); - var linkIcon = link.find('.token-icon'); - var animationDuration = 300; - var tokenOffset = "0px"; - var original = link.css('marginLeft') == tokenOffset; - linkIcon.toggleClass('token-icon-minus'); - link.animate({'margin-left':original ? "0px" : tokenOffset}, animationDuration); - $content = link.parent().parent().next(); - $content.slideToggle(animationDuration); - - // Keeps the document from jumping to the hash. - var href = $(this).attr('href'); - if (history.pushState) { - history.pushState({}, '', href); - } else { - location.hash = href; - } - event.preventDefault(); -}); - -// Dumb down quotes within code blocks that delimit strings instead of quotations. -$("code q").replaceWith(function () { - return ["\"", $(this).contents(), "\""]; -}); |