diff options
Diffstat (limited to 'public')
-rw-r--r-- | public/javascripts/gui.js | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/public/javascripts/gui.js b/public/javascripts/gui.js index f235f6d..e69de29 100644 --- a/public/javascripts/gui.js +++ b/public/javascripts/gui.js @@ -1,11 +0,0 @@ -$(document).ready(function() { - /* Needed if the static top navbar is being used. - * Add data-offset='60' to <body> as well. - var offset = 60; - $('#navbar ul li a').click(function(event) { - event.preventDefault(); - $($(this).attr('href'))[0].scrollIntoView(); - scrollBy(0, -offset); - }); - */ -}); |