View difference between Paste ID: eUUMREmT and wYEJGQbQ
SHOW: | | - or go back to the newest paste.
1-
(function __init__(){
1+
window.onscroll = function (e){
2-
	if(typeof document.body != 'undefined'){
2+
	var wMenubar = document.getElementById("wMenuBar"),
3-
		document.body.onload = function(){
3+
		wLogo = document.getElementById("wLogo");
4-
			var wMenubar = document.getElementById("wMenuBar"),
4+
	if(window.scrollY > 50){
5-
				wLogo = document.getElementById("wLogo");
5+
		wMenubar.className="small";
6-
			window.onscroll = function (e){
6+
		wLogo.src = "logo-small.png";
7-
				if(window.scrollY > 50){
7+
8-
					wMenubar.className="small";
8+
		wMenubar.className="big";
9-
					wLogo.src = "logo-small.png";
9+
		wLogo.src = "logo.png";
10-
				}else{
10+
11-
					wMenubar.className="big";
11+
}