twentythirteen_header_style()

88function twentythirteen_header_style() {89	$header_image = get_header_image();90	$text_color   = get_header_textcolor();91 92	// If no custom options for text are set, let's bail.93	if ( empty( $header_image ) && get_theme_support( 'custom-header', 'default-text-color' ) === $text_color ) {94		return;95	}96 97	// If we get this far, we have custom styles.98	?>99	<style type="text/css" id="twentythirteen-header-css">100	<?php101	if ( ! empty( $header_image ) ) :102		?>103	.site-header {104		background: url(<?php header_image(); ?>) no-repeat scroll top;105		background-size: 1600px auto;106	}107	@media (max-width: 767px) {108		.site-header {109			background-size: 768px auto;110		}111	}112	@media (max-width: 359px) {113		.site-header {114			background-size: 360px auto;115		}116	}117		<?php118		endif;119 120		// Has the text been hidden?121	if ( ! display_header_text() ) :122		?>123	.site-title,124	.site-description {125		position: absolute;126		clip-path: inset(50%);127	}128		<?php129		if ( empty( $header_image ) ) :130			?>131	.site-header .home-link {132	min-height: 0;133	}134			<?php135		endif;136 137		// If the user has set a custom color for the text, use that.138		elseif ( get_theme_support( 'custom-header', 'default-text-color' ) !== $text_color ) :139			?>140		.site-title,141		.site-description {142			color: #<?php echo esc_attr( $text_color ); ?>;143		}144	<?php endif; ?>145	</style>146	<?php147}