Index: wordpress.org/public_html/wp-content/themes/pub/wporg-support/index.php
===================================================================
--- wordpress.org/public_html/wp-content/themes/pub/wporg-support/index.php	(revision 6257)
+++ wordpress.org/public_html/wp-content/themes/pub/wporg-support/index.php	(working copy)
@@ -7,10 +7,10 @@
 
 get_header(); ?>
 
-<?php while( have_posts() ): the_post(); ?>
+<?php while ( have_posts() ) : the_post(); ?>
 
 	<?php the_content(); ?>
 
 <?php endwhile; ?>
 
-<?php get_footer(); ?>
+<?php get_footer();