// ==UserScript==
// @name          jQuery API Browser
// @namespace     http://www.joanpiedra.com/jquery/api-browser
// @description	  To improve that scroll thingy
// @author        Joan Piedra
// @homepage      http://www.joanpiedra.com/jquery/api-browser
// @include       http://jquery.bassistance.de/api-browser/
// ==/UserScript==

var css;
css  = 'html,body { width:100% !important; height:100% !important; overflow:hidden !important; margin:0 !important; padding:0 !important; } ';
css += 'h1,#content,#nav,#docs { position:absolute !important; height:auto !important; } ';
css += '#header,#content { left:0 !important; right:0 !important; } ';
css += 'h1 { height:85px !important; top:0 !important; } ';
css += '#content { background:#666 !important; top:85px !important; bottom:0 !important; } ';
css += '#nav,#docs { top:0 !important; bottom:0 !important; overflow:auto !important; } ';
css += '#nav { left:0 !important; } ';
css += '#docs { right:0 !important; } ';


if (typeof GM_addStyle != "undefined") {
	GM_addStyle(css);
} else if (typeof addStyle != "undefined") {
	addStyle(css);
} else {
	var heads = document.getElementsByTagName("head");
	if (heads.length > 0) {
		var node = document.createElement("style");
		node.type = "text/css";
		node.innerHTML = css;
		heads[0].appendChild(node); 
	}
}