--- a/wp/wp-content/themes/twentyfourteen/search.php	Tue Jun 09 11:14:17 2015 +0000
+++ b/wp/wp-content/themes/twentyfourteen/search.php	Mon Oct 14 17:39:30 2019 +0200
@@ -20,14 +20,15 @@
 
 				<?php
 					// Start the Loop.
-					while ( have_posts() ) : the_post();
+				while ( have_posts() ) :
+					the_post();
 
-						/*
-						 * Include the post format-specific template for the content. If you want to
-						 * use this in a child theme, then include a file called called content-___.php
-						 * (where ___ is the post format) and that will be used instead.
-						 */
-						get_template_part( 'content', get_post_format() );
+					/*
+					 * Include the post format-specific template for the content. If you want to
+					 * use this in a child theme, then include a file called content-___.php
+					 * (where ___ is the post format) and that will be used instead.
+					 */
+					get_template_part( 'content', get_post_format() );
 
 					endwhile;
 					// Previous/next post navigation.