function add_css_class(selector, class_name) {
	var elements = cssQuery(selector);
	for(var e = 0; e < elements.length; e++) {
		elements[e].className += " " + class_name;
	}
}
function init() {
	add_css_class("h1+p", "sibling");
	add_css_class("dl.highlights dt:first-child", "first-child");
	add_css_class("ul.subnavigation li:first-child", "first-child");
	add_css_class("input[type='text']", "type-text");
	add_css_class("input[type='submit']", "type-submit");
	add_css_class("ul.languages a[lang='en']", "lang-en");
	navigation();
}
function navigation() {
	var nav = document.getElementById("navigation");
	var triggers = nav.getElementsByTagName("A");
	for(var i=0; i<triggers.length; i++) {
		var trigger = triggers[i];
		trigger.setAttribute("onmouseover", "rollover(this);");
		trigger.onmouseover = function() {rollover(this);};
		trigger.setAttribute("onmouseout", "rollout(this);");
		trigger.onmouseout = function() {rollout(this);};
	}
	nav.className += " " + document.body.className;
}

function rollover(o) {
	document.getElementById("navigation").className += "navigation " + o.className;
}
function rollout(o) {
	document.getElementById("navigation").className = "navigation " + document.body.className;
}