diff -r 177826044cd9 -r 372f2766ea20 wp/wp-content/themes/twentythirteen/content-none.php
--- a/wp/wp-content/themes/twentythirteen/content-none.php	Mon Oct 14 18:28:13 2019 +0200
+++ b/wp/wp-content/themes/twentythirteen/content-none.php	Mon Oct 14 18:30:03 2019 +0200
@@ -20,12 +20,12 @@
 	<?php elseif ( is_search() ) : ?>
 
 	<p><?php _e( 'Sorry, but nothing matched your search terms. Please try again with different keywords.', 'twentythirteen' ); ?></p>
-	<?php get_search_form(); ?>
+		<?php get_search_form(); ?>
 
 	<?php else : ?>
 
 	<p><?php _e( 'It seems we can&rsquo;t find what you&rsquo;re looking for. Perhaps searching can help.', 'twentythirteen' ); ?></p>
-	<?php get_search_form(); ?>
+		<?php get_search_form(); ?>
 
 	<?php endif; ?>
 </div><!-- .page-content -->