window.addEvent('domready', function() {
	
	// make all dt elements line up
	$$('dl').each( function(dl) {
		var dts = dl.getElements('dt');
		var max = dts.getWidth().max();
		dts.setStyle('width', max+1 + 'px');
	});


	var display = $('display');
	if($chk(display)) {
		$('header').grab(display);
	}
});