if( rEngine != 'Trident' || ver >= 9 ) {
	style = document.createElement( 'style' );
	style.appendChild(
		document.createTextNode(
			'dl.contentBox {' +
				cssBorderRadius( '', '50px' ) +
				cssBoxShadow( '6px 6px 8px rgba( 0, 0, 0, 0.2 )' ) +
			'}'
		)
	);
	head.appendChild( style );
}

function bTerminate() {}

function aTerminate() {}