diff options
Diffstat (limited to 'js/global.js')
| -rw-r--r-- | js/global.js | 15 | 
1 files changed, 0 insertions, 15 deletions
| diff --git a/js/global.js b/js/global.js deleted file mode 100644 index 5a5515420..000000000 --- a/js/global.js +++ /dev/null @@ -1,15 +0,0 @@ -(function($) { -	$(function() { -		$('pre.overflow').bind('mouseover', function() { -			$(this).css({ -				'overflow' : 'auto', -				'padding-bottom' : '8px' -			}); -		}).bind('mouseout', function() { -			$(this).css({ -				'overflow' : 'hidden', -				'padding-bottom' : '23px' -			}); -		}).trigger('mouseout'); -	}); -})(jQuery); | 
