13
hash = window.location.hash
14
anchor = $("#nav a[href="+hash+"]")
16
if(hash.length > 0 && anchor.length == 1)
19
$("#body #header h1 span").each( function() { ht.push($(this).text()) })
20
$("#body #header h1 span:gt(0)").remove()
21
setInterval( show_next_ht, hinter );
26
n = navigator.userAgent
27
if( document.location.search.match('ubuntu') || $.browser.msie || n.match("iPhone") || n.match("iPod") || n.match("iPad") )
29
$("#body").css("font-family", "Ubuntu, Verdana, Sans, sans-serif").css("font-size","0.9em")
39
$("title").text(ti.text())
40
document.title = ti.text()
44
function show_next_ht()
46
if( htp == ht.length )
51
$("#body #header h1").append("<span>"+next+"</span>").animate({"margin-left": "-940px"}, hspeed, function()
53
$("#body #header h1").css("margin-left", "0px").find("span:first").remove()
59
$("#nav a, .subnav a").unbind("click").bind("click",function()
62
url = $(this).attr("href").replace("#","")
64
$("#nav .active").removeClass("active")
65
$("#nav a[href=#"+url+"]").parent().addClass("active")
67
$.get(url + "&ajax", function(data)
69
$("#body > *:gt(1)").remove()
70
$(data).appendTo("#body")
77
}).attr("href", function(i,h) { return ("#"+h).replace(/#+/,"#") })
80
function scroll_to_top()
82
if( typeof( window.pageYOffset ) == 'number' ) {
84
y = window.pageYOffset;
85
x = window.pageXOffset;
86
} else if( document.body && ( document.body.scrollLeft || document.body.scrollTop ) ) {
88
y = document.body.scrollTop;
89
x = document.body.scrollLeft;
90
} else if( document.documentElement && ( document.documentElement.scrollLeft || document.documentElement.scrollTop ) ) {
91
//IE6 standards compliant mode
92
y = document.documentElement.scrollTop;
93
x = document.documentElement.scrollLeft;
97
t = $("#nav").position().top
105
window.scrollTo(x, Math.max( t, y - c))
106
setTimeout(scroll_to_top, 25)
b'\\ No newline at end of file'