function toggle_quicklinks() {
	if (Ext.get('quick_links').isVisible()) {
		Ext.get('quick_links').slideOut('t', {useDisplay: true});
		Ext.get('quick_links_link').update('+ Quick Links');
	} else {
		Ext.get('quick_links').slideIn();
		Ext.get('quick_links_link').update('- Quick Links');
	}
}

function anchor_scroll(element) {
	if (element == "top") {
		Ext.get(document.documentElement).scrollTo('top', 0, true);
	} else {
		var el = Ext.get(element);
		Ext.get(document.documentElement).scroll('down', el.getTop(), true);
	}
}