url ) :
/* Scale hidpi header image */
$custom_header = get_theme_support( 'custom-header' );
$header_args = array_pop( $custom_header );
if ( $header->width >= ( 2 * $header_args['width'] ) ) {
$header->width = floor( $header->width / 2 );
$header->height = floor( $header->height / 2 );
}
?>
; ?>)