var other_pages_string = ""
var slide = 0
var slide_active = 0
var icon_active = 0
var end_position = 0
var end_limit = 600
/* Lower is faster */
var speed = 5

function onUnfixedHover(name) {
	if (icon_active == 1) {
		other_pages = document.getElementById("other_pages")
		other_pages.innerHTML = "<span class=\"fixed_icon\"><a href=\"#\" class=\"no_underline\">&bull; " + name + " &bull;</a></span>"
	}
}

function onUnfixedUnhover() {
	if (icon_active == 1) {
		other_pages = document.getElementById("other_pages")
		other_pages.innerHTML = other_pages_string
	}
}

function slideBar(dir) {
	if (slide_active == 1){
		end_position = document.getElementById("end_marker").offsetLeft
		slider = document.getElementById("icon_slider")
		if((dir == 1) && (slide < 0)){
			slide += 3
		/* WARNING: THE BELOW IS A MASSIVE HACK */
		}else if((dir == 0) && (-slide < end_limit)){
			slide -= 3
		}
		slider.style.marginLeft = slide+"px"
		setTimeout("slideBar("+dir+")",speed)
	}
}

function stopSlide() {
	slide_active = 0
}